Disjunctive Normal Form/Examples/Arbitrary Example 4
Jump to navigation
Jump to search
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