Translate the following inference to logic notation: It is sunny or Sarah is not playing a game. If Michael writes a letter, then Sarah is playing a game. It is sunny if and only if Michael is writing a letter. Therefore it is sunny if and only if Sarah is playing a game.
p or ~q. r -> q. p <-> r. Therefore p <-> q.