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