Translate the following inference to logic notation: Linda is writing a letter or Mary is not running. Mary is running or Linda is not writing a letter. Linda is not writing a letter. Therefore Mary is not running.
p or ~q. q or ~p. ~p. Therefore ~q.