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