Es seien A und B mathematische Aussagen. 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:
Daraus folgt als Ergebnis:
Spalte 4 und 7 sind identisch, also sind die Aussagen äquivalent.