Exercise 7.12 (Independence of a Function Regarding Variables). Analyze whether the functions y1(x) and y2(x) calculated in Task 3 of Exercise 7.5 really depend on the variables (x1, x2, x3, x4, x5, x6) and simplify these functions if possible. Practical tasks:

1 Load the TVL system of Exercise 7.5. This TVL system includes the function y1(x) as object number 11 and the function y2(x) as object number 12.
2 Prepare a PRP that checks whether a function depends on the variables (x1, x2, x3, x4, x5, x6).
3 Check for the function y1(x) the variables it is depending on.
4 Check for the function y2(x) the variables it is depending on.
5 Simplify the function y1(x) as much as possible and verify the result.
6 Simplify the function y2(x) as much as possible and verify the result.