Translate the following inference to logic notation: Richard is working or David is happy. Jessica is a bartender if and only if Richard is working. Jessica is not a bartender. Therefore David is happy.
p or q. r <-> p. ~r. Therefore q.