Translate the following inference to logic notation: If it is not cloudy, then Joseph is sad. Joseph is not a politician. It is cloudy if and only if Joseph is a politician. Therefore Joseph is sad or it is snowing.
~p -> q. ~r. p <-> r. Therefore q or s.