Translate the following inference to logic notation: Richard is a musician if and only if Charles is sleeping. Richard is not a musician. Thomas is not cooking. Thomas is cooking if and only if it is overcast. Therefore it is not overcast and Charles is not sleeping.
p <-> q. ~p. ~r. r <-> s. Therefore ~s and ~q.