1 Prepare the functions of the left-hand sides of (4.43), (4.44), (4.45),

(4.46) as objects number 1, 2, 3, and 4, respectively. Assign the variable y to object number 4. 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)