Translate the following inference to logic notation: Linda is not playing a game. Linda is playing a game if and only if Charles is sleeping. Therefore Charles is not sleeping.
~p. p <-> q. Therefore ~q.