Boolean Differential Calculus and its Application to Switching Theory
André Thayse, Marc Davio · IEEE Transactions on Computers · 1973
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.