Translate the following inference to logic notation: It is not snowing. It is raining. It is overcast if and only if it is snowing. Therefore it is raining and it is not overcast.
~p. q. r <-> p. Therefore q and ~r.