Translate the following inference to logic notation: Charles is drinking water or it is late. Barbara is sleeping if and only if it is late. Charles is not drinking water. Therefore Barbara is sleeping.
p or q. r <-> q. ~p. Therefore r.