Aussagenlogik/Disjunktive Normalform/Definition

Disjunktive Normalform

Unter einer disjunktiven Normalform versteht man einen aussagenlogischen Ausdruck, der eine ${}\vee$-Verknüpfung von Ausdrücken der Form ${}\pm p_{1}\wedge \ldots \wedge \pm p_{n}$ ist, wobei ${}\pm$ bedeutet, dass entweder die Aussagenvariable direkt oder in ihrer Negation genommen wird.