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