Translate the following inference to logic notation: Linda is rich or Sarah is not writing a letter. If William drinks water, then Sarah is writing a letter. If Linda were rich, then William is drinking water. Therefore Linda is rich if and only if Sarah is writing a letter.
p or ~q. r -> q. p -> r. Therefore p <-> q.