Translate the following inference to logic notation: If it is windy, then it is raining. If it rains, then Elisabeth is playing a game. It is windy or Elisabeth is not playing a game. Therefore Elisabeth is playing a game if and only if it is windy.
p -> q. q -> r. p or ~r. Therefore r <-> p.