[1] The Boolean differential calculus allows various aspects of dynamical systems theory such as to be discussed in a united and closed form, with their individual advantages combined.
Originally inspired by the design and testing of switching circuits and the utilization of error-correcting codes in electrical engineering, the roots for the development of what later would evolve into the Boolean differential calculus were initiated by works of Irving S. Reed,[3] David E. Muller,[4] David A. Huffman,[5] Sheldon B. Akers Jr.[6] and A. D. Talantsev (A. D. Talancev, А. Д. Таланцев)[7] between 1954 and 1959, and of Frederick F. Sellers Jr.,[8][9] Mu-Yue Hsiao[8][9] and Leroy W. Bearnson[8][9] in 1968.
Since then, significant advances were accomplished in both, the theory and in the application of the BDC in switching circuit design and logic synthesis.
Works of André Thayse,[10][11][12][13][14] Marc Davio[11][12][13] and Jean-Pierre Deschamps[13] in the 1970s formed the basics of BDC on which Dieter Bochmann [de],[15] Christian Posthoff[15] and Bernd Steinbach [de][16] further developed BDC into a self-contained mathematical theory later on.
[15][17] BDC has also found uses in discrete event dynamic systems (DEDS)[18] in digital network communication protocols.