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