Es seien
Untersuchen Sie mit Hilfe einer Wahrheitstafel, ob gilt:
Zerlege, die Aussage in kleine logische Einzelaussagen die auf einander aufbauen und schreibe diese in die Kopfzeile einer Wahrheitstabelle.
Fülle nun die gesamte Tabelle aus:
Spalte
Die Aussagen sind äquivalent