Translate the following inference to logic notation: If Linda works, then Michael is writing a letter. Linda is working if and only if it is overcast. If Michael writes a letter, then Linda is working. Michael is not writing a letter. Therefore it is not overcast.
p -> q. p <-> r. q -> p. ~q. Therefore ~r.