$$(\sim p \rightarrow q) \leftrightarrow q$$
$$(p\bigvee q) \leftrightarrow q\equiv F$$
$[q\equiv T]\rightarrow [(p\bigvee q) \leftrightarrow q\equiv T]$
$([q\equiv F]\bigwedge [p\equiv T])\rightarrow [(p\bigvee q) \leftrightarrow q\equiv T]$
$\therefore q\equiv F,p\equiv T$
|