Translate the following inference to logic notation: James is a taxi driver or David is a police officer. Sarah is playing a game if and only if David is a police officer. James is not a taxi driver. Therefore Sarah is playing a game.
p or q. r <-> q. ~p. Therefore r.