Translate the following inference to logic notation: Elisabeth is an office clerk or Richard is a bartender. Elisabeth is not an office clerk. It is not snowing. It is snowing if and only if Jessica is a cashier. Therefore Richard is a bartender and Jessica is not a cashier.
p or q. ~p. ~r. r <-> s. Therefore q and ~s.