Translate the following inference to logic notation: Barbara is playing a game if and only if Elisabeth is writing a letter. Barbara is playing a game if and only if Elisabeth is writing a letter. Therefore Barbara is playing a game if and only if Elisabeth is writing a letter.
p <-> q. p <-> q. Therefore p <-> q.