Translate the following inference to logic notation: Jennifer is playing tennis if and only if Susan is playing a game. Jennifer is playing tennis or Susan is not playing a game. Therefore Susan is playing a game if and only if Jennifer is playing tennis.
p <-> q. p or ~q. Therefore q <-> p.