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].

4 Calculate the total differential minimum Minx f(x) by means of an ISCoperation as object number 4. Draw the associated graph and count the edges.