The Boolean Differential Calculus (BDC) is a very powerful theory that extends the structure of a Boolean Algebra significantly. While a Boolean Algebra is focused on values of logic functions, the BDC allows the evaluation of changes of function values.