←
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.