Translate the following inference to logic notation: Elisabeth is playing a game or it is not cold. John is writing a letter or it is cold. Elisabeth is playing a game if and only if John is writing a letter. Therefore Elisabeth is playing a game.
p or ~q. r or q. p <-> r. Therefore p.