Translate the following inference to logic notation: If Jennifer were a mechanic, then Elisabeth is bored. Jennifer is not a mechanic. Elisabeth is bored if and only if Jennifer is a mechanic. Therefore Elisabeth is not bored.
p -> q. ~p. q <-> p. Therefore ~q.