4 Which equation is solvable with regard to y? Evaluate the calculated Karnaugh maps for this equation. Check the following equations for uniqueness and solvability with regard to y. Calculate all solution functions y = g(x) and verify them:

x1x3y ∨ x2(x3 ⊕ y) ∨ x1x3y = 1, (4.43)

x1x3y ∨ x2(x3 ⊕ y) ∨ x2y · (x1 ∨ x3) = 1, (4.44)

x2x3y ∨ x2(x3 ⊕ y) ∨ x1x2x3 = 0, (4.45)

x1x2y ∨ x2(x3 ⊕ y) = 0. (4.46)