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