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