Translate the following inference to logic notation: Elisabeth is an office clerk. It is snowing if and only if Elisabeth is an office clerk. Therefore it is snowing or David is reading a book.
p. q <-> p. Therefore q or r.