Boolean Differential Calculus

Abstract

The Boolean Differential Calculus is a powerful theory based on definitions of differentials of Boolean variables and several differential operations and derivatives of logic functions. A monograph [Bochmann, D., Posthoff, Ch. 1981] of this calculus was published in German language. An early comprehensive English edition is [Davio, M., Deschamps, J., Thayse, A. 1978] . A huge amount of relationships and theorems opens a wide area of applications of the Boolean differential calculus. Always when changes of the values of Boolean variables or logic functions are important in the context of the problem to be solved, the Boolean Differential Calculus can help to find a solution. Such problems occur in the analysis as well as in the synthesis of logic functions. Another important application area is the test of digital systems where the key topic consists in changes by faults.