Translate the following inference to logic notation: Elisabeth is writing a letter if and only if David is rich. Mary is not reading a book. If Elisabeth writes a letter, then Mary is reading a book. If Elisabeth writes a letter, then David is rich. Therefore David is not rich.
p <-> q. ~r. p -> r. p -> q. Therefore ~q.