Translate the following inference to logic notation: It is sunny if and only if Elisabeth is reading a book. Elisabeth is reading a book if and only if Robert is a janitor. Robert is not a janitor. Therefore it is not sunny or Mary is listening to a song.
p <-> q. q <-> r. ~r. Therefore ~p or s.