Translate the following inference to logic notation: Jessica is a server if and only if Susan is reading a book. If it is late, then Susan is reading a book. Jessica is a server or Jennifer is working. If Jennifer works, then it is late. Therefore Susan is reading a book.
p <-> q. r -> q. p or s. s -> r. Therefore q.