Negation normal form is an elementary canonical form in mathematical logic. There are similar requirements for negation normal form in different logic fragments.
In predicate logic, a logical formula is in negation normal form if negation occurs only immediately above elementary propositions, and {} are the only allowed Boolean connectives. In classical logic each formula can be brought into this form by replacing implications and equivalences by their definitions, using De Morgan's laws to push negation inside, and eliminating double negations. This process can be represented using the following rewrite rules:
A formula in negation normal form can be put into the stronger conjunctive normal form or disjunctive normal form by applying the distributivity laws.
Famous quotes containing the words negation, normal and/or form:
“Michelangelo said to Pope Julius II, “Self negation is noble, self-culture is beneficent, self-possession is manly, but to the truly great and inspiring soul they are poor and tame compared to self-abuse.” Mr. Brown, here, in one of his latest and most graceful poems refers to it in an eloquent line which is destined to live to the end of time—”None know it but to love it, None name it but to praise.””
—Mark Twain [Samuel Langhorne Clemens] (1835–1910)
“A few ideas seem to be agreed upon. Help none but those who help themselves. Educate only at schools which provide in some form for industrial education. These two points should be insisted upon. Let the normal instruction be that men must earn their own living, and that by the labor of their hands as far as may be. This is the gospel of salvation for the colored man. Let the labor not be servile, but in manly occupations like that of the carpenter, the farmer, and the blacksmith.”
—Rutherford Birchard Hayes (1822–1893)
“While they stand at home at the door he is dead already,
The only son is dead.
But the mother needs to be better,
She with thin form presently drest in black,
By day her meals untouch’d, then at night fitfully sleeping, often waking,
In the midnight waking, weeping, longing with one deep longing,
O that she might withdraw unnoticed, silent from life escape and
withdraw,
To follow, to seek, to be with her dear dead son.”
—Walt Whitman (1819–1892)