Definition:Disjunctive Normal Form/Also defined as
Jump to navigation
Jump to search
Disjunctive Normal Form: Also defined as
When presenting disjunctive 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 \land q} \land r} \lor \paren {\neg q \land r} } \lor \paren {\neg r}$
but this is usually considered unnecessary in light of the Rule of Distribution.
Sources
- 1989: Ephraim J. Borowski and Jonathan M. Borwein: Dictionary of Mathematics ... (previous) ... (next): disjunctive normal form