$\eqalign{  & (p \wedge  \sim q) \Rightarrow q =  \sim (p \wedge  \sim q) \vee q = ( \sim p \vee  \sim ( \sim q)) \vee q  \cr   &  = ( \sim p \vee q) \vee q  \cr   &  =  \sim p \vee q \vee q  \cr   &  =  \sim p \vee q  \cr   &  = p \Rightarrow q \cr} $