Translate the following inference to logic notation: Karen is a cashier if and only if John is playing a game. Karen is a cashier or John is not playing a game. Therefore if Karen were a cashier, then John is playing a game.
p <-> q. p or ~q. Therefore p -> q.