0
7.7kviews
Explain the steps involved in conveying the propositional logic statement into CNF with a suitable example.
1 Answer
written 7.4 years ago by |
CNF in first order logic
Reduce the scope of $\neg$
» de Morgan’s laws
¬(w1 $\vee$ w2) $\equiv$ ¬w1 $\wedge$ ¬w2
¬(w1 $\wedge$ w2) $\equiv$ ¬w1 $\vee$ ¬w2
» Elimination of repeated negations (¬ ¬w $\equiv$ w)
» Combination of ¬ with quantifiers.
¬($\forall$ x) w(x) …