Conversion to Principal Conjunctive Normal Form PCNF
In this class, We discuss Conversion to Principal Conjunctive Normal Form PCNF.
The reader should have prior knowledge of min max terms and canonical form. Click Here.
Example 1:
¬(p ∨ q)
The below diagram shows the derivation.
Example 2:
(¬p -> r) ∧ (q <-> p)
The below diagram shows the derivation.