Disjunktive Normalform

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Formel, die äquivalent als Disjunktion von Konjunktionen von Literalen dargestellt wird, oft genutzt zur Analyse boolescher Struktur und Vereinfachung.