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