Aussagenlogik/Disjunktive Normalform/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.