5 Verify (4.11) of [18] using the total differential minimum of object number 6, the logic function of object number 1, and the total differential maximum of object number 7. Verify the partial order relation (4.11) of [18] using the results of Exercise 4.4, the total differential expansion F(x, dx) of (4.1) and the logic function itself