Translate the following inference to logic notation: Barbara is running if and only if Jennifer is playing a game. It is raining. Barbara is running. If David were a cashier, then it is not raining. Therefore Jennifer is playing a game and David is not a cashier.
p <-> q. r. p. s -> ~r. Therefore q and ~s.