The contrapositive of an implication (A -> B) is (NOT B -> NOT A). These two statements are equivalent by the following proof:

__Statement__ __Reason__
A -> B Premise
NOT A OR B A definition of implication
B OR NOT A Commutative Law of logical OR
NOT NOT B OR NOT A Law of Double Negation
NOT B -> NOT A A definition of implication