Translate the following inference to logic notation: Barbara is not a carpenter. It is late or Mary is not a sailor. Mary is a sailor if and only if Barbara is a carpenter. If it is late, then Mary is a sailor. Therefore it is not late.
~p. q or ~r. r <-> p. q -> r. Therefore ~q.