Prove, using the laws of logic, that the following two propositions are equivalent.

a) P implies Q
b) Q implies P
c) P and Q are independent
d) P and Q are contradictory