Translate the following inference to logic notation: Charles is an office clerk or Joseph is a taxi driver. Charles is an office clerk if and only if it is late. It is not late. Therefore Karen is a bartender or Joseph is a taxi driver.
p or q. p <-> r. ~r. Therefore s or q.