Translate the following inference to logic notation: Jennifer is driving a car or it is overcast. It is overcast if and only if David is writing a letter. Jennifer is driving a car if and only if David is writing a letter. Therefore David is writing a letter.
p or q. q <-> r. p <-> r. Therefore r.