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