Translate the following inference to logic notation: Jessica is a nurse if and only if Barbara is taking a plane. Barbara is not taking a plane. Therefore Jessica is not a nurse or William is reading a book.
p <-> q. ~q. Therefore ~p or r.