Calculate all three total differential operations of the function f(x1, x2, x3) = x1(x2 ∨ x3) ⊕ x1(x2 ∼ x3) (4.1)

and verify relation (4.2) of [18].

1 Solve the equation f(x1, x2, x3) = 1 for function (4.1) and store the result as object number 1.