So I am working on logical equivalences for the first time and it was all making sense, until I was given the exercise:
Verify the following equivalence by writing an equivalence proof. That is, start on one side and use known equivalences to get to the other side. $(p \to q) \land (p \lor q) ≡ q$.
I am aware of the various laws, however in what order do I apply these laws? Is there an order? If there is not an order then what are the steps to take in order to prove the equivalence?