Translate the following inference to logic notation: It is overcast or Barbara is running. Barbara is running if and only if Mary is playing squash. Mary is not playing squash. Therefore it is overcast.
p or q. q <-> r. ~r. Therefore p.