Explain the steps involved in conveying the propositional logic statement into CNF with a suitable example.

0

7.7kviews

Explain the steps involved in conveying the propositional logic statement into CNF with a suitable example.

written 7.4 years ago by

teamques10 ★ 65k

modified 2.0 years ago by

binitamayekar ★ 6.4k

artificial intelligence

ADD COMMENT EDIT

1 Answer

0

475views

written 7.4 years ago by

teamques10 ★ 65k

CNF in first order logic

Eliminate implications $\Leftrightarrow$, ⇒
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) …

Create a free account to keep reading this post.

and 2 others joined a min ago.

ADD COMMENT EDIT

Please log in to add an answer.