The original conditional is in the form "If P, then Q" The contrapositive is in the form "If not Q, then not P" You flip the order of P and Q, and you also negate each piece. The original conditional and contrapositive can be proven to have the same truth values through the use of a truth table.