Disjunctive Normal Form/Examples/Arbitrary Example 3

From ProofWiki
Jump to navigation Jump to search

Examples of Disjunctive Normal Form

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

is not in disjunctive normal form because the second conjunction is negated.