6 Calculate the mark function fr(x) of the OFF-set based on the formula

(7.25) of [18]. 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