$p$	$q$	$\sim p$	$\sim q$	$p\vee q$	$\sim \left(p\vee q\right)$	$\left(\left(\sim p\right)\wedge \left(\sim q\right)\right)$	$\sim \left(p\vee q\right)\iff \left(\left(\sim p\right)\wedge \left(\sim q\right)\right)$
$1$	$1$	$0$	$0$	$1$	$0$	$0$	$1$
$1$	$0$	$0$	$1$	$1$	$0$	$0$	$1$
$0$	$1$	$1$	$0$	$1$	$0$	$0$	$1$
$0$	$0$	$1$	$1$	$0$	$1$	$1$	$1$

 

W ostatniej kolumnie, bez względu na wartość logiczną zdań p i q, zawsze otrzymujemy, że zdanie jest prawdziwe, zatem jest ono prawem rachunku zdań.