Translate the following inference to logic notation: It is not cloudy. Linda is reading a book if and only if it is cloudy. Therefore Linda is not reading a book or it is snowing.
~p. q <-> p. Therefore ~q or r.