Die zu beweisende Aussage besteht aus zwei Teilaussagen, die äquivalent sein sollen.

Zerlege, um dies zu zeigen, die Teilaussagen in kleinere logische Einzelaussagen die aufeinander aufbauen und schreibe diese in die Kopfzeile einer Wahrheitstabelle. Schreibe zusätzlich alle Kombinationen von wahr und falsch für und in die ersten beiden Spalten.

Fülle nun den Rest der Tabelle aus

Somit ergibt sich für die Aussage insgesamt