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