Translate the following inference to logic notation: James is taking a plane if and only if it is overcast. James is not taking a plane. It is overcast if and only if it is sunny. Therefore it is not sunny.
p <-> q. ~p. q <-> r. Therefore ~r.