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

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