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 variables booleanas y funciones booleanas .
Los conceptos del cálculo diferencial booleano son análogos a los del cálculo diferencial clásico , entre los que destaca el estudio de los cambios de funciones y variables respecto de unas u otras. [1]
Originalmente inspirado en 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 más tarde se convertiría en el cálculo diferencial booleano se iniciaron en los 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. Vendedores 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 la 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 BDC más tarde en una teoría matemática autónoma.
También se ha desarrollado una teoría complementaria del cálculo integral booleano (en alemán: Boolescher Integralkalkül ). [15] [17]