The logically equivalent proposition of p⇔q is
Your experience on this site will be improved by allowing cookies. Read Cookie Policy