Translate the following inference to logic notation: Richard is not a taxi driver. Mary is running if and only if Richard is a taxi driver. Therefore Mary is not running or Jennifer is driving a car.
~p. q <-> p. Therefore ~q or r.