using truth table prove that ~(p↔q) ≡ (p^~q)v(q^~p) .