Stichpunkte

Allgemein
	Eine logische Formel ist in Negationsnormalform
	falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen
	In klassischer Logik kann jede Formel in diese Form gebracht werden
	mit den De Morganschen Gesetzen die Negationen nach innen verschiebt und doppelte Negationen eliminiert. Eine Formel in Negationsnormalform kann in die stärkere konjunktive oder disjunktive Normalform gebracht werden
	indem man die Distributivgesetze anwendet. en:Negation normal form
	indem man Implikations- und Äquivalenzoperatoren durch ihre Definitionen ersetzt

Dieser Artikel basiert auf dem Artikel Negationsnormalform aus der freien Enzyklopädie wikipedia und steht unter der GNU Lizenz für freie Dokumentation. In der wikipedia ist eine Liste der Autoren verfügbar.