Issue No. 04 - April (1973 vol. 22)
A. Thayse , Research Laboratory, Manufacture Belge de Lampes et de Materiel Electronique
After a brief outline of classical concepts relative to Boolean differential calculus, a theoretical study of the main differential operators is undertaken. Algebraic equations relating the classical concepts of prime implicants and of the discrete Fourier transform of a Boolean function to the differential operators are derived. Application of these concepts to several important problems arising in switching practice is mentioned.
Boolean difference, Boolean differential calculus, discrete Fourier transform, fault diagnosis, hazard detection, prime implicants, simple decomposition, Taylor-Reed expansions.
M. Davio and A. Thayse, "Boolean Differential Calculus and its Application to Switching Theory," in IEEE Transactions on Computers, vol. 22, no. , pp. 409-420, 1973.