Translate the following inference to logic notation: Jessica is a nurse or Charles is not reading a book. Jessica is not a nurse. Therefore Charles is not reading a book or Sarah is cooking.
p or ~q. ~p. Therefore ~q or r.