Aussagenlogik/Disjunktive Normalform/Tautologie/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein aussagenlogischer Ausdruck in disjunktive Normalform, in dem die Aussagenvariablen vorkommen. Zeige, dass genau dann eine Tautologie

ist, wenn die -Verknüpfung von sämtlichen Kombinationen ist.