If p and q are simple statements, p⇔∼q is true when
p is false and q is true
p⇔q is true only when both p and q are true or both p and q are false.
Hence, p⇔∼ q is true only when p is true and ∼ q is true or p is false and ∼ q is false.
⇒p is false and q is true or p is true and q is false.