Translate the following inference to logic notation: Thomas is a politician if and only if it is raining. Thomas is not a politician. John is not a taxi driver. John is a taxi driver or William is an electrician. Therefore it is not raining and William is an electrician.
p <-> q. ~p. ~r. r or s. Therefore ~q and s.