Translate the following inference to logic notation: Charles is a doctor or Jessica is cooking. If Charles were a doctor, then Jennifer is writing a letter. Jennifer is writing a letter if and only if Jessica is cooking. Therefore Jennifer is writing a letter.
p or q. p -> r. r <-> q. Therefore r.