Translate the following inference to logic notation: Michael is not playing tennis. Charles is playing squash if and only if Michael is playing tennis. Therefore Charles is not playing squash or it is overcast.
~p. q <-> p. Therefore ~q or r.