Design Example: The Hot-tub
George is concerned as to whether he should warm up the hot-tub for tonight's party. Under what conditions will someone use the tub?:
(b) Bill bathes, iff both Alice and Don are present
(c) Cindy bathes under all conditions - even by herself!
(d) Don bathes iff Alice is not present.