8 Calculate all functions of the solution sets based on the created mark functions q(x) and r(x). 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)