
Eine logische Formel ist in Negationsnormalform (NNF), falls die Negationsoperatoren in ihr nur direkt über atomaren Aussagen vorkommen. Eine Formel in Negationsnormalform kann in die konjunktive (KNF) oder disjunktive Normalform (DNF) gebracht werden, indem man die Distributivgesetze anwendet. Im Allgemeinen gibt es für jede aussagenlogische Fo...
Gefunden auf
https://de.wikipedia.org/wiki/Negationsnormalform
Keine exakte Übereinkunft gefunden.