show that the following propositional logics are equivalent using propositional equivalence laws. State the laws that you are applying.

¬[q∧ ( p → ¬ q ) ] → p ≡ ( p ⋁ q )