# Tagged Questions

36 views

### What is the Equivalent formula of $((a\to b) \to ((a \to c) \to (c \to a)))$

Need help to solving a logic. The question is to find an equivalent to the following logic. $((a\to b) \to ((a \to c) \to (c \to a)))$ Thanks in advance for help.
55 views

### unary propositional connective

Let F be a unary propositional connective, such that F(p) is always false, regardless of the value assigned to p. i. Give the truth table for F. (Hint: how many lines does it have?) I have: p | ...
147 views

### Propositional Logic - induction

(a) Let C be the set {∧,∨} of propositional connectives, and let P be any set of propositional variables. i. Suppose that: φ is a well-formed formula that uses only connectives in C and variables ...
40 views

### Can kCNF have less than k variables per clause?

An example given by my prof in her notes: The following formula is in 4CNF: $(w\vee y\vee \neg z)\wedge(w\vee\neg x\vee z)\wedge(w\vee\neg x\vee \neg y\vee z)$ I originally thought that maybe ...
I have a formula: $p \wedge \neg q \implies q \vee \neg p$, and i have calculated a truth table as follows: \begin{array}{c} p&q&\text{Formula}\\ \hline 0&0&1\\ 0&1&1\\ ...
In a And\Or-graph induced by the transition function, each node of G corresponds to a state q belonging to set Q of the state of the Automaton, for q with $\delta(q,a)=q1*q2$, the node is a $*-node$ ...