Translate the following inference to logic notation: Jennifer is reading a book if and only if it is late. If Jennifer doesn't read a book, then Jessica is driving a car. If Jennifer reads a book, then it is late. It is not late. Therefore Jessica is driving a car.
p <-> q. ~p -> r. p -> q. ~q. Therefore r.