You are here: irt.org | FOLDOC | 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

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL