Conversion to Disjunctive Normal Form

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

The reader should have prior knowledge of elementary sum and product. Click here.

Example 1:

Obtain the disjunctive normal form of ¬(p ∨ q) <-> (p ∧ q)

The below diagram shows the procedure.

Example 2:

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

The below diagram shows the procedure.