Convert the followed propositional logic statement into CNF A-> (B<->C)

4.7kviews

written 7.9 years ago by

teamques10 ★ 68k

modified 2.5 years ago by

binitamayekar ★ 6.6k

artificial intelligence

ADD COMMENT EDIT

1 Answer

296views

written 7.9 years ago by

teamques10 ★ 68k

A -> (B<->C) //KB

= ~A | (B<->C) //Eliminating Implication

= ~A | [(~B | C) & (B |~C)] // Eliminating bidirectional Implication

= [~A | (~B | C)] & [~A | (B |~C)] // Distributing & over |

= (~A | ~B | C) & (~A | B |~C ) // Flattening nested conjuncts & disjuncts

≈ (¬A v ¬B v C) ^ (¬A v B v ¬C )

ADD COMMENT EDIT

Please log in to add an answer.