Translate the following inference to logic notation: Karen is not playing a game. Jessica is a police officer if and only if Elisabeth is rich. Karen is playing a game or Elisabeth is rich. Therefore Jessica is a police officer.
~p. q <-> r. p or r. Therefore q.