7 Verify whether the three mark functions are pairwisely disjoint and cover the Boolean space completely. Verify

Question:

7 Verify whether the three mark functions are pairwisely disjoint and cover the Boolean space completely. 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

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: