Aussagenlogik/Disjunktive Normalform/Tautologie/Aufgabe

Es sei ${}\alpha$ ein aussagenlogischer Ausdruck in disjunktive Normalform, in dem die Aussagenvariablen ${}p_{1},\ldots ,p_{n}$ vorkommen. Zeige, dass ${}\alpha$ genau dann eine Tautologie

ist, wenn ${}\alpha$ die ${}\vee$-Verknüpfung von sämtlichen Kombinationen ${}\pm p_{1}\wedge \ldots \wedge \pm p_{n}$ ist.

Eine Lösung erstellen