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