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