Translate the following inference to logic notation: It is not late or it is sunny. It is late or Charles is a politician. John is writing a letter if and only if it is sunny. Charles is not a politician. Therefore John is writing a letter.
~p or q. p or r. s <-> q. ~r. Therefore s.