Home > Electronics Tutorials > Online Computer Terms Dictionary > C

Online Computer Terms Dictionary - C

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).

Contrast Disjunctive Normal Form.



Nearby terms: congestion CONIC conjunction Conjunctive Normal Form connect connected graph connected subgraph