Source : Free On-Line Dictionary of Computing

Conjunctive Normal Form
     
         (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)