-*Reduction*
+**Reduction**
Find "normal forms" for the following (that is, reduce them as far as it's possible to reduce
them):
- 1. (\x \y. y x) z
- 2. (\x (x x)) z
- 3. (\x (\x x)) z
- 4. (\x (\z x)) z
- 5. (\x (x (\y y))) (\z (z z))
- 6. (\x (x x)) (\x (x x))
- 7. (\x (x x x)) (\x (x x x))
+ 1. (\x \y. y x) z
+ 2. (\x (x x)) z
+ 3. (\x (\x x)) z
+ 4. (\x (\z x)) z
+ 5. (\x (x (\y y))) (\z (z z))
+ 6. (\x (x x)) (\x (x x))
+ 7. (\x (x x x)) (\x (x x x))
-*Booleans*
+**Booleans**
Recall our definitions of true and false.