Conversion to Conjunctive Normal Form

In this class, We discuss Conversion to Conjunctive Normal Form.

The reader should have prior knowledge of elementary sum and product and normal forms. Click Here.

Example 1:

¬(p ∨ q) <-> (p ∧ q)

The below diagram shows the derivation.

Example 2:

p -> ((p -> q) ∧ ¬ (¬q ∨ ¬p))

The below diagram shows the derivation.