conjunctive normal form
An "and" of "or"s of literals.
A sentence is in conjunctive normal form when it is a conjunction of one or more disjunctions, each of which joins only literals. Every sentence is equivalent to one in CNF.
Examples
(P ∨ Q) ∧ (¬P ∨ ¬Q) is in CNF.
See also