Translate the following inference to logic notation: Thomas is working if and only if Thomas is playing a game. John is not a carpenter. John is a carpenter if and only if Thomas is playing a game. Therefore Thomas is not working or it is windy.
p <-> q. ~r. r <-> q. Therefore ~p or s.