Let $p$ be the hypothesis and $q$ 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:

~$p$ $\to$ ~$q$

A **converse** statement is formed by switching the hypothesis and the conclusion of the conditional. In symbolic form it would be:

$q\ \to p$

A **contrapositive** statement is formed by negating both the hypothesis and conclusion, AND switching them. In symbolic form it would be:

~$q$ $\to$ ~$p$

Statements which always have the same truth values are **logical equivalents**.

Conditionals and contrapositives are logical equivalents, and inverses and converses are logical equivalents.