Conjunctive Normal Form


Also found in: Acronyms, Wikipedia.

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.
Mentioned in ?