Aussagenlogik/Disjunktive Normalform/Definition

Disjunktive Normalform

Unter einer disjunktiven Normalform versteht man einen aussagenlogischen Ausdruck, der eine -Verknüpfung von Ausdrücken der Form ist, wobei bedeutet, dass entweder die Aussagenvariable direkt oder in ihrer Negation genommen wird.