Eine logische Formel ist in Negationsnormalsform, falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen.
In klassischer Logik kann jede Formel in diese Form gebracht werden, indem man Implikations- und Äquivalenzoperatoren durch ihre Definitionen ersetzt, 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.