VDict - Definition of Conjunctive Normal Form

Computing (FOLDOC) dictionary

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

(A or C) and (B or C).

(1995-12-10)

Related search result for "Conjunctive Normal Form"

Words contain "Conjunctive Normal Form" in its definition in Computing (FOLDOC) dictionary:
Conjunctive Normal Form database normalisation Church-Rosser Theorem normal form Head Normal Form Root Normal Form Weak Head Normal Form head normalisation theorem BNF scan register more...