Exercise 7.25 (Complete EXOR-Bi-Decomposition). Check whether an extended complete EXOR-bi-decomposition based on the two pairs of variables found in Exercise 7.24 exists. Calculate the decomposition functions of the complete EXOR-bi-decomposition. Practical tasks:

1 Load the TVL system e73dec1.sdt of Exercise 7.24.

2 In Exercise 7.24 the allowed pairs of variables (x1, x5) and (x1, x6) for an EXOR-bi-decomposition were found. Check based on (7.94) of [18]

whether there is an EXOR-bi-decomposition of the function in object 7 with regard to a = x1 and xb = (x5, x6).

3 Calculate the decomposition function g1 based on (7.95) of [18] and h1 based on (7.97) of [18] and show Karnaugh-maps of these decomposition functions.
4 Verify the calculated EXOR-bi-decomposition.
5 Remove the intermediate results and store the TVL system as e73dec2.sdt for later use.