(a) Use truth tables to prove that an implication is always equivalent to its contrapositive. Site an example where this is so.
(b) Use truth tables to prove that an implication may not be equivalent to its converse. Site an example where this is so.