conjunctive normal form

from The Free On-line Dictionary of Computing (8 July 2008)

Conjunctive Normal Form

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