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