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