Translate the following inference to logic notation: Robert is reading a book if and only if Charles is driving a car. Robert is reading a book if and only if Charles is driving a car. Therefore if Robert reads a book, then Charles is driving a car.
p <-> q. p <-> q. Therefore p -> q.