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