negation normal form

A logical formula is in negation normal form if negation occurs only immediately above elementary propositions. 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. A formula in negation normal form can be put into the stronger conjunctive normal form or disjunctive normal form by applying the distributivity laws.

<< Previous

Word Browser

Next >>

hms mermaid
hms meteor
hms minos
hms minotaur
hms morecambe bay
freebord
hms mounts bay
hms myrmidon
mauryan empire
hms naiad
hms narcissus

hms neptune
hms new zealand (1911)
hms newfoundland (c59)
robert jenson
hms niger
finnish verb conjugation
lond daer enedh
edward wynne
sri lanka bush warbler
trujillo
free church of scotland

nahanni national park reserve
cathy carr
ferryland, newfoundland and labrador
henry drummond
st. pepin (grape)
troodos mountains
prothon
marcus dods
clamorous reed warbler
cur
tyke

barbara deming
arthur aston
fraternity records
alexander whyte
horace jones
michael angelo pergolesi
iona (disambiguation)
finnish grammar numbers
ringo
quiksilver
average cost