Disjunctive Normal Form/Examples/Arbitrary Example 4

Examples of Disjunctive Normal Form

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

is in disjunctive normal form.

It is immediate that the above forms a contradiction.

Sources

• 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): disjunctive normal form