Translate the following inference to logic notation: Joseph is not a mechanic. Barbara is taking a plane or it is not late. Joseph is a mechanic if and only if Barbara is taking a plane. Therefore it is not late.
~p. q or ~r. p <-> q. Therefore ~r.