Translate the following inference to logic notation: It is snowing if and only if Thomas is reading a book. Thomas is reading a book or it is not sunny. It is not snowing. If Thomas reads a book, then it is sunny. Therefore it is not sunny.
p <-> q. q or ~r. ~p. q -> r. Therefore ~r.