Translate the following inference to logic notation: Thomas is driving a car if and only if Patricia is a server. If Thomas drives a car, then David is writing a letter. Patricia is not a server. Patricia is a server if and only if David is writing a letter. Therefore David is not writing a letter.
p <-> q. p -> r. ~q. q <-> r. Therefore ~r.