(Beta Reductions). For each of the following, give the resulting expression after executing a beta reduction (with renaming only if needed) of the highlighted redex

Problem 3 (Beta Reductions). For each of the following, give the resulting expression after executing a beta reduction (with renaming only if needed) of the highlighted redex Example 1: for the expression (Xx. t )t' your answer should be (Xx. x ) (Xx. x x) // beta reduction Example 2: for the expression (Ax t' your answer should be // beta reduction