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