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:
“No rules exist, and examples are simply life-savers answering the appeals of rules making vain attempts to exist.”
—André Breton (1896–1966)