The proposition ∼(p⇔q) is equivalent to
The logically equivalent proposition of p⇔q is
The statement p⇒∼q is equivalent to