Use logical equivalences: p -> q = ~p OR q and p <-> q = (~p OR q) ^ (~q OR p) to rewrite statement without using -> or <->. Also, rewrite using logical equivalence: p OR q = ~(~p AND ~p) to rewrite statement without using ^ and ~. Solve for p OR ~q -> r OR q