Translate the following inference to logic notation: It is raining if and only if it is cloudy. Elisabeth is a lawyer. If it rains, then Elisabeth is not a lawyer. Therefore it is not cloudy or Jennifer is reading a book.
p <-> q. r. p -> ~r. Therefore ~q or s.