Translate the following inference to logic notation: Linda is making tea or William is not playing squash. William is playing squash if and only if Linda is making tea. Therefore if William plays squash, then Linda is making tea.
p or ~q. q <-> p. Therefore q -> p.