Translate the following inference to logic notation: Thomas is playing a game. It is snowing if and only if Thomas is playing a game. Elisabeth is sleeping. Therefore it is snowing and Elisabeth is sleeping.
p. q <-> p. r. Therefore q and r.