Answer:
The converse of P ⇒ Q is Q ⇒ P.
The inverse of P ⇒ Q is (¬ P) ⇒ (¬ Q).
The contrapositive of P ⇒ Q is (¬ Q) ⇒ (¬ P).
Given two statements P and Q, the biconditional statement P ⇔ Q is the statement “P if and only if Q.” The biconditional statement P ⇔ Q is true when P and Q have the same truth values and false when P and Q have different truth values.