Translate the following inference to logic notation: If it is overcast, then it is not snowing. If it is sunny, then it is snowing. It is snowing if and only if William is a doctor. It is sunny or William is a doctor. Therefore it is not overcast.
p -> ~q. r -> q. q <-> s. r or s. Therefore ~p.