I have an exam coming up where I have to be able to prove certain conditions are tautologies, however I am having a very difficult time using logical equivalences to do so.
Can any one help me to prove the following to be a tautology using logical equivalences?
[(p v q) ^ (~p v r) -> (q v r)]
Thank you