El cálculo diferencial booleano ( BDC ) (alemán: Boolescher Differentialkalkül ( BDK )) es un campo temático del álgebra booleana que analiza los cambios de las variables booleanas y las funciones booleanas .
Los conceptos de cálculo diferencial booleano son análogos a los del cálculo diferencial clásico , estudiando notablemente los cambios en funciones y variables con respecto a otro / otros. [1]
Originalmente inspirado por el diseño y prueba de circuitos de conmutación y la utilización de códigos de corrección de errores en ingeniería eléctrica , las raíces para el desarrollo de lo que luego evolucionaría en el cálculo diferencial booleano fueron iniciadas por trabajos de Irving S. Reed , [3] David E. Muller , [4] David A. Huffman , [5] Sheldon B. Akers Jr. [6] y AD Talantsev ( AD Talancev , А. Д. Таланцев ) [7] entre 1954 y 1959, y de Frederick F . Sellers Jr. , [8][9] Mu-Yue Hsiao [8] [9] y Leroy W. Bearnson [8] [9] en 1968.
Desde entonces, se lograron avances significativos tanto en la teoría como en la aplicación del BDC en el diseño de circuitos de conmutación y síntesis lógica .
Las obras de André Thayse , [10] [11] [12] [13] [14] Marc Davio [11] [12] [13] y Jean-Pierre Deschamps [13] en la década de 1970 formaron los fundamentos de BDC en los que Dieter Bochmann , [15] Christian Posthoff [15] y Bernd Steinbach [16] desarrollaron posteriormente BDC en una teoría matemática autónoma.
También se ha desarrollado una teoría complementaria del cálculo integral booleano (alemán: Boolescher Integralkalkül ). [15] [17]