Translate the following inference to logic notation: Elisabeth is making tea if and only if Jessica is reading a book. Elisabeth is not making tea. Jessica is reading a book or it is raining. If it rains, then Jessica is an electrician. Therefore Jessica is an electrician.
p <-> q. ~p. q or r. r -> s. Therefore s.