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