<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.
Try this search on Wikipedia, OneLook, Google
Nearby terms: congestion « CONIC « conjunction « Conjunctive Normal Form » connect » connected graph » connected subgraph