Exercise 7.16 (Verify Whether a Combinatorial Circuit Exists for a System Function). Verify whether the system function calculated in Exercise 7.9 can be realized as combinatorial circuit. If that is possible, then calculate the logic function y = f(x). Practical tasks:

1 Load the final TVL system of Exercise 7.9. This TVL system includes the system function F(x, y) as object 4.

2 Prepare a TVL for y = 1 as object number 5.

3 Verify whether F(x, y) given in object 4 can be solved with regard to y.

4 Verify whether F(x, y) given in object 4 can be solved with regard to y uniquely.

5 Calculate the logic function y = f(x) that must be realized in the combinatorial circuit and show the result.