Translate the following inference to logic notation: Robert is driving a car if and only if Richard is sleeping. It is overcast. Robert is not driving a car. Therefore Richard is not sleeping.
p <-> q. r. ~p. Therefore ~q.