Official solution
\[(p \wedge q)\, \to \,(p \to q)\]
\[(p \wedge q)\, \to \,( \sim p \vee q)\]
\[( \sim p \vee \sim q)\, \vee ( \sim p \vee q)\]
\[ \sim p \vee ( \sim q \vee q) \Rightarrow \] Tautology
\[ \Rightarrow \odot \Rightarrow \to \]
\[ \otimes \Rightarrow \to \]