Translate the following inference to logic notation: Barbara is a server if and only if Michael is making tea. Michael is making tea or Thomas is writing a letter. Barbara is not a server. Therefore Karen is a mechanic or Thomas is writing a letter.
p <-> q. q or r. ~p. Therefore s or r.