Exercise 4.18 (Static Functional Hazard). Calculate all static functional hazards of function (4.2) restricted to all possible changes of values of x3 and x4. Practical tasks:

1 Reload the TVL-system of Exercise 4.7, minimize object number 41 that represents ϑ(x3,x4)f(x) and write down this TVL.

2 Reload the TVL-system of Exercise 4.6 where d(x3,x4)f(x) is stored as object number 5.

3 Recreate the TVL of ϑ(x3,x4)f(x) as object number 30.

4 Calculate the required static functional hazard based on (4.11).

5 Are there static functional hazards for the change of either only x3 or only x4? Substantiate this observation