Discrete Mathematics

Principal Conjunctive Normal Form

Principal Conjunctive Normal form : A formula α is in principle conjugate normal form if α is a product of max terms. For obtaining the principle conjunctive normal form of α we can construct the principle disjunctive normal form of α ¬ and apply negation.
Example: Obtain a conjunctive normal form of

1) Consider

Hence, this is the required conjunctive normal form.

The principal conjugate normal form of α is

2)

Since, we know that

Which is required conjunctive normal form.