Translate the following inference to logic notation: It is snowing if and only if Linda is making tea. It is not overcast. Linda is making tea or Elisabeth is playing a game. It is snowing if and only if it is overcast. Therefore Elisabeth is playing a game.
p <-> q. ~r. q or s. p <-> r. Therefore s.