exercise 5 and-or-problems