Translate the following inference to logic notation: Michael is writing a letter or it is not late. If Michael writes a letter, then it is late. It is not cloudy. It is cloudy if and only if Michael is writing a letter. Therefore it is not late.
p or ~q. p -> q. ~r. r <-> p. Therefore ~q.