Translate the following inference to logic notation: Elisabeth is reading a book if and only if Elisabeth is an artist. Elisabeth is an artist. Therefore Elisabeth is reading a book or William is playing a game.
p <-> q. q. Therefore p or r.