Translate the following inference to logic notation: It is sunny or James is not playing squash. If it is overcast, then James is playing squash. If it is sunny, then it is overcast. Therefore James is playing squash if and only if it is overcast.
p or ~q. r -> q. p -> r. Therefore q <-> r.