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.

< Previous Terms	Terms Containing Conjunctive Normal Form	Next Terms >
conflation ConflictNet congestion CONIC conjunction	clause	connect connected graph connected subgraph connectionless protocol Connection Machine LISP