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

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

Last updated: 1995-12-10

### Nearby terms:

conjunction ♦ **Conjunctive Normal Form** ♦ connect ♦ connected graph

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading