Die Aussage ist von der Form

${\displaystyle p\vee {\left(p\rightarrow \alpha \right)}.}$

Wenn ${\displaystyle {}p}$ wahr ist, so ist die linke Alternative wahr. Wenn ${\displaystyle {}p}$ falsch ist, so ist der Vordersatz der rechten Implikation falsch und damit diese Implikation wahr. In diesem Fall ist also auch die Gesamtaussage wahr.

Eine Wahrheitstabelle ist hier nicht sinnvoll, da dort ${\displaystyle {}2^{6}=64}$

${\displaystyle {}p}$