<*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 Cis

(A or C) and (B or C).Contrast Disjunctive Normal Form.

Last updated: 1995-12-10

Try this search on Wikipedia, OneLook, Google

**Nearby terms:**
congestion « CONIC « conjunction « **Conjunctive Normal Form** » connect » connected graph » connected subgraph

Loading

Copyright Denis Howe 1985