Inhaltsverzeichnis |
Zusammenfassung zu Negation normal form
Eine logische Formel ist in Negationsnormalform (NNF), falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen. In klassischer Logik kann jede Formel in diese Form gebracht werden, indem man wie folgt vorgeht: Man löst die in ihr