Translate the following inference to logic notation: If it is overcast, then David is writing a letter. It is sunny if and only if David is writing a letter. It is overcast or it is sunny. If Jessica were a server, then David is not writing a letter. Therefore Jessica is not a server.
p -> q. r <-> q. p or r. s -> ~q. Therefore ~s.