Translate the following inference to logic notation: Joseph is sleeping if and only if Richard is a janitor. Richard is a janitor if and only if Susan is working. Joseph is not sleeping. Therefore Susan is not working or Linda is listening to a song.
p <-> q. q <-> r. ~p. Therefore ~r or s.