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

4.5kviews

written 7.4 years ago by

teamques10 ★ 65k

modified 2.0 years ago by

binitamayekar ★ 6.4k

ADD COMMENT EDIT

1 Answer

288views

written 7.4 years ago by

teamques10 ★ 65k

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 …

Create a free account to keep reading this post.

and 4 others joined a min ago.

ADD COMMENT EDIT

Please log in to add an answer.