Exercise 7.13 (Realizability of a System Function). Check whether the system functions of Exercises 7.5 and 7.6 are realizable. 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 and the VT y1, y2 as object number 5.

2 Check whether the loaded system function is realizable using formula

(7.64) 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 realizable using formula

(7.64) of [18].