Exercise 7.14 (Unique Solution of a System Function with Regard to an Output). From Exercise 7.13 it is known that the system functions of Exercises 7.5 and 7.6 are realizable. Check whether these system functions have unique solutions with regard to their outputs. Practical tasks:

1 Load the TVL system of Exercise 7.5. This TVL system includes the system function F(x, y1, y2) as object number 1.
2 Check whether the loaded system function is uniquely realizable using formulas (7.66) and (7.67) of [18].
3 Load the TVL system of Exercise 7.6. This TVL system includes the system function F(x, y) as object number 1 and a solution of y = 1 as object number 2.
4 Check whether the loaded system function is uniquely realizable using formula (7.67) of [18].