10 Calculate the system function using the mark functions f(x) and fr(x) based on formula (7.22) of...

10 Calculate the system function using the mark functions fϕ(x) and fr(x)

based on formula (7.22) of [18] and verify the result. Verify that the system function F(x, y) (7.2) describes an incompletely specified function.

F(x, y)=((x1x2(x3 ⊕ x4)y ∨ x3x4(x5 ⊕ x6)y ∨ x1x7y

∨ x1x2x6x7) ⊕ x6) ∨ (x3 ⊕ x4)x6 ∨ x3x4x5

∨ x1x3x6x7 ∨ x1x2(x3 ⊕ x4)x6x7. (7.2)

Calculate all three associated mark functions and verify that these functions are pairwisely disjoint. Reconstruct the function F(x, y) based on each pair of mark functions and verify the result