Translate the following inference to logic notation: Richard is a bartender if and only if Thomas is a musician. Richard is a bartender or Thomas is not a musician. Therefore Thomas is a musician if and only if Richard is a bartender.
p <-> q. p or ~q. Therefore q <-> p.