Hi, I have to prove the following logical equivalence using algebraic substitutions:
(p v ~q) v ~q → (r v p) ∧ ~q ≡ ~r v q → (q v p) ∧ (~p v ~q)
I've already done the truth table for this problem and proved they are logically equivalent but am not sure how to go about using algebraic...