Translate the following inference to logic notation: Susan is an office clerk or Barbara is playing tennis. Thomas is working if and only if Susan is an office clerk. Thomas is working if and only if Barbara is playing tennis. Therefore Thomas is working.
p or q. r <-> p. r <-> q. Therefore r.