Konjunktive Normalform

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Formel, die äquivalent als Konjunktion von Disjunktionen von Literalen dargestellt wird, häufig verwendet in Erfüllbarkeitslösungen und logischer Normalisierung.