(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)