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