(Solved): Discrete math Note: Please construct a sequence of logical equivalences, not by using a truth table. ...

Discrete math

Note: Please construct a sequence of logical equivalences, not by using a truth table. 

Convert the following proposition to conjunctive normal form: \[ (\neg p \rightarrow q) \rightarrow(r \wedge(p \vee \neg q)) \] by constructing a sequence of logical equivalences. Simplify the components of an intermediate compound proposition whenever possible.