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