Translate the following inference to logic notation: Mary is an electrician if and only if it is raining. Mary is not an electrician. James is a police officer if and only if it is raining. Therefore James is not a police officer.
p <-> q. ~p. r <-> q. Therefore ~r.