4 Calculate the mark function f(x) of the dont-care set based on formula (7.24) of [18]. Verify...

4 Calculate the mark function fϕ(x) of the don’t-care set based on formula

(7.24) 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