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