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