The proposition ∼(p⇔q) is equivalent to
Your experience on this site will be improved by allowing cookies. Read Cookie Policy