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