Disjunctive Normal Form/Examples/Arbitrary Example 2

From ProofWiki
Jump to navigation Jump to search

Examples of Disjunctive Normal Form

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

is not in disjunctive normal form because there is a disjunction buried in the second conjunction.