The Free On-line Dictionary of Computing (30 December 2018):

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)