Can anyone please help me prove this equation is true? (¬p → (q ˄ ¬p)) → (q → p) ≡ q → p Thanks in advance!!