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