Exercise 4.1.1: (back)
Q. (and (> 4 3) (<= 10 100)) A. true Q. (or (> 4 3) (= 10 100)) A. true Q. (not (= 2 3)) A. true