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