Translate the following inference to logic notation: Charles is a taxi driver or Susan is not playing squash. If Charles were a taxi driver, then Susan is playing squash. Therefore Charles is a taxi driver if and only if Susan is playing squash.
p or ~q. p -> q. Therefore p <-> q.