Lambda expression

1) Underline each free variable and circle each bound variable in the following expressions (Xa 2) Reduce each of the following expressions to their normal forms, if possible. (Be sure to show the intermediate steps.) Or explain why this is not possible (Xa ( ( x | (x a)) (Aylb) ) ( (1x1(yx)) ( ( (x y)) ((A(xy)) ((Axl(xx)) ( (yx))) ( x | (x y))) ( (x x))) (Ax|&y))) 1) Underline each free variable and circle each bound variable in the following expressions (Xa 2) Reduce each of the following expressions to their normal forms, if possible. (Be sure to show the intermediate steps.) Or explain why this is not possible (Xa ( ( x | (x a)) (Aylb) ) ( (1x1(yx)) ( ( (x y)) ((A(xy)) ((Axl(xx)) ( (yx))) ( x | (x y))) ( (x x))) (Ax|&y)))