Translate the following inference to logic notation: Charles is writing a letter or it is sunny. If Charles writes a letter, then Jennifer is sleeping. Jennifer is sleeping if and only if it is sunny. Therefore Jennifer is sleeping.
p or q. p -> r. r <-> q. Therefore r.