The contrapositive of p q is
-q -p is the contrapositive of p q
The contrapositive of p, q is flipping the two and putting not in front of both. So ~ q and ~ p. ~ represents "not"
