Translate the following inference to logic notation: Thomas is drinking water or Mary is not playing tennis. Mary is playing tennis if and only if Thomas is drinking water. Therefore if Mary plays tennis, then Thomas is drinking water.
p or ~q. q <-> p. Therefore q -> p.