(CNF) A logical formula consisting of a
of disjunctions of terms where no disjunction
contains a conjunction. Such a formula might also be
described as a product of sums. E.g. the CNF of
(A and B) or C
(A or C) and (B or C).
Contrast Disjunctive Normal Form