Translate the following inference to logic notation: John is driving a car if and only if Sarah is playing tennis. John is driving a car or Sarah is a taxi driver. If Sarah were a taxi driver, then Sarah is playing tennis. Therefore Sarah is playing tennis.
p <-> q. p or r. r -> q. Therefore q.