Translate the following inference to logic notation: David is not a bartender. Jessica is a taxi driver if and only if David is a bartender. Therefore Jessica is not a taxi driver.
~p. q <-> p. Therefore ~q.