Wenn die Aussagenvariable ${\displaystyle {}p}$ mit ${\displaystyle {}1}$ und die Aussagenvariable ${\displaystyle {}q}$ mit ${\displaystyle {}0}$ belegt wird, so besitzt der Vordersatz ${\displaystyle {}\neg p\vee q}$ den Wahrheitswert ${\displaystyle {}0}$ und somit besitzt die Gesamtimplikaton den Wahrheitswert ${\displaystyle {}1}$. Daher ist der Ausdruck erfüllbar.