(a || b) || a
a || b

The expression a || b is already true if a is true. The extra || a is irrelevant.

Exercise 8 solution
Exercise 10 solution
Exercises
All solutions