Translate the following inference to logic notation: It is not late. Patricia is an artist or John is not a taxi driver. It is late if and only if Patricia is an artist. Therefore John is not a taxi driver.
~p. q or ~r. p <-> q. Therefore ~r.