Translate the following inference to logic notation: For all x, x will not read a book. Elisabeth is reading a book or Thomas is not working. If Elisabeth were a cashier, then Thomas is working. Joseph is cooking. Therefore Elisabeth is not a cashier and Joseph is cooking.
forall x: ~P(x). P(a) or ~p. q -> p. r. Therefore ~q and r.