Translate the following inference to logic notation: If it is sunny, then Susan is playing a game. It is sunny or Susan is not playing a game. If Susan plays a game, then it is sunny. Therefore Susan is playing a game if and only if it is sunny.
p -> q. p or ~q. q -> p. Therefore q <-> p.