Translate the following inference to logic notation: If Mary reads a book, then Charles is excited. Mary is reading a book or Jennifer is not driving a car. Jessica is a police officer or Jennifer is driving a car. If Jessica were a police officer, then Charles is excited. Therefore Charles is excited.
p -> q. p or ~r. s or r. s -> q. Therefore q.