(CNF) A logical formula consisting of a conjunction 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 is (A or C) and (B or C).Contrast Disjunctive Normal Form.(1995-12-10)