Translate the following inference to logic notation: It is not sunny. Jennifer is playing a game if and only if it is sunny. Therefore Jennifer is not playing a game or it is cloudy.
~p. q <-> p. Therefore ~q or r.