p درست و q نادرست است.  $(p\Rightarrow q)\equiv F\Rightarrow $ $(\sim q\Leftrightarrow s)\equiv T\xrightarrow{\sim q}$           sدرست است $p\wedge s\equiv T\wedge T\equiv T,\sim p\vee q\equiv F\vee F\equiv F$ $(p\Rightarrow \sim s)\Rightarrow \sim q\equiv (\underbrace{T\Rightarrow F}_{F})\Rightarrow T\equiv T$