Translate the following inference to logic notation: Charles is not an office clerk. If it snows, then it is not overcast. It is overcast. It is cloudy if and only if Charles is an office clerk. Therefore it is not cloudy and it is not snowing.
~p. q -> ~r. r. s <-> p. Therefore ~s and ~q.