Translate the following inference to logic notation: David is happy or it is not overcast. If it is cold, then it is overcast. David is not happy. David is happy if and only if it is cold. Therefore it is not overcast.
p or ~q. r -> q. ~p. p <-> r. Therefore ~q.