Examples and Counterexamples
The following formulae are are all in negation normal form:
Note that whilst the first example is also in conjunctive normal form and the last two are in both conjunctive normal form and disjunctive normal form, the second example is in neither.
The following formulae are not in negation normal form:
They are however respectively equivalent to the following formulae in negation normal form:
Read more about this topic: Negational Normal Form
Famous quotes containing the word examples:
“Histories are more full of examples of the fidelity of dogs than of friends.”
—Alexander Pope (1688–1744)