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