# Tag Info

1

Take any clause in the formula. If all variables in that clause are different, we can always assign $0$ to a non-negated variable and $1$ to a negated variable. This makes that clause $0$. Therefore, it makes the CNF formula $0$. Thus, tautology is not possible unless there is $A \vee \neg A$ in every clause. This is probably what Kyle Jones stated in his ...

1

No. As a counterexample pick $A=0$ and $B =1$. Then: $$A' + B' = 0' + 1' = 1 + 0 = 1 \neq 0 = 1' = (0 + 1)' = (A+B)'.$$

1

An interpretation creates a link between symbols, on one hand, and objects, relations or functions, on the other hand. Examples of interpretations are the links between names and people in the real world or the links between Numbers (which are objects in the world of mathematics), and the corresponding symbols (1, 2, …). To discuss intended/extended ...

Only top voted, non community-wiki answers of a minimum length are eligible