گزاره $\sim p\wedge (p\Rightarrow q)$ معادل است با:
1 $\sim p$
2 $\sim q$ 
3 $p$
4 $q$