Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap

Conjunctive Normal Form

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
	(A or C) and (B or C).

Contrast Disjunctive Normal Form.


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

©2018 Martin Webb