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