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.
(1995-12-10)
Nearby terms:
congestion « CONIC « conjunction « Conjunctive
Normal Form » connect » connected graph »
connected subgraph
|