Definition:Conjunctive Normal Form/Also defined as

Conjunctive Normal Form: Also defined as

When presenting conjunctive normal form, some sources include parentheses as appropriate within both the conjunctions and disjunctions in a standard format, for example:

$\paren {\paren {\paren {\neg p \lor q} \lor r} \land \paren {\neg q \lor r} } \land \paren {\neg r}$

but this is usually considered unnecessary in light of the Rule of Distribution.

Sources

• 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 3.7$: Decision Procedures and Normal Forms