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