Conjunctive Normal Form


Conjunctive Normal Form

(logic)(CNF) A logical formula consisting of aconjunction of disjunctions of terms where no disjunctioncontains a conjunction. Such a formula might also bedescribed as a product of sums. E.g. the CNF of

(A and B) or Cis(A or C) and (B or C).

Contrast Disjunctive Normal Form.