Exercise 7.14 [cnf-proof-exercise]
Any propositional logic sentence is logically equivalent to the assertion that each possible world in which it would be false is not the case. From this observation, prove that any sentence can be written in CNF.
Answer
Improve This Solution
View Answer