Translate the following inference to logic notation: If Michael doesn't play tennis, then it is sunny. If Michael plays tennis, then it is overcast. It is not overcast. Michael is playing tennis if and only if it is overcast. Therefore it is sunny.
~p -> q. p -> r. ~r. p <-> r. Therefore q.