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