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.
A = Alice is present, B = Bill is present, C = Cindy is present, D = Don is present, T = someone will use the tub.
Word Statement: The hot-tub will be used if