lambda calculus reducible expressions

Problem 2 (lambda calculus reducible expressions). In this problem you are asked to determine the reducible expressions in each of the following lambda expressions. The format of the answer is shown in the examples below Examples to show the format of the answer Example 1: for the expressions Your answer should be that there are no reducible expressions Example 2: for the expressiorn Your answer should be (2x.tt' (Jx. t) t