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