Translate the following inference to logic notation: If it snows, then Jennifer is writing a letter. If Jennifer writes a letter, then Susan is playing tennis. If Susan plays tennis, then it is snowing. Therefore Jennifer is writing a letter if and only if Susan is playing tennis.
p -> q. q -> r. r -> p. Therefore q <-> r.