Translate the following inference to logic notation: Jennifer is reading a book if and only if Charles is a musician. Jennifer is reading a book or James is not a lawyer. Therefore if James were a lawyer, then Charles is a musician.
p <-> q. p or ~r. Therefore r -> q.