$\left[ (p\vee q)\wedge \tilde{\ }p \right]\Rightarrow q\equiv \left[ (\underbrace{p\wedge \sim p}_{F})\vee (q\wedge \sim p) \right]\Rightarrow q$  $\equiv (q\wedge \sim p)\Rightarrow q\equiv \sim (q\wedge \sim p)\vee q\equiv (\sim q\vee p)\vee q\equiv (\underbrace{\sim q\vee q}_{T})\vee p=T$