Let be the hypothesis and be the conclusion. Then:
An inverse statement is formed by negating both the hypothesis and conclusion of the conditional. In symbolic form it would be:
~ ~
A converse statement is formed by switching the hypothesis and the conclusion of the conditional. In symbolic form it would be:
A contrapositive statement is formed by negating both the hypothesis and conclusion, AND switching them. In symbolic form it would be:
~ ~
Statements which always have the same truth values are logical equivalents.
Conditionals and contrapositives are logical equivalents, and inverses and converses are logical equivalents.