Prove that:
(p ∨ ~ q) → (~ q → r) ≡ ~ (q → p) ∧ (r→p)
(p ∨ ~ q) → (~ q → r) ≡ ~ (q → p) ∧ (r→p)