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