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