Boolean Differential Calculus and its Application to Switching Theory
- 1 April 1973
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-22 (4), 409-420
- https://doi.org/10.1109/t-c.1973.223729
Abstract
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.Keywords
This publication has 14 references indexed in Scilit:
- Boolean Differential Calculus and its Application to Switching TheoryIEEE Transactions on Computers, 1973
- Path Sensitization, Partial Boolean Difference, and Automated Fault DiagnosisIEEE Transactions on Computers, 1972
- An Efficient Algorithm for Generating Complete Test Sets for Combinational Logic CircuitsIEEE Transactions on Computers, 1971
- Analysis and Synthesis of Asynchronous Sequential Networks Using Edge-Sensitive Flip-FlopsIEEE Transactions on Computers, 1971
- A Fast Algorithm for the Disjunctive Decomposition of Switching FunctionsIEEE Transactions on Computers, 1971
- HARMONIC ANALYSIS OF SWITCHING FUNCTIONSPublished by Elsevier ,1971
- Minimization of Exclusive or and Logical Equivalence Switching CircuitsIEEE Transactions on Computers, 1970
- Analyzing Errors with the Boolean DifferenceIEEE Transactions on Computers, 1968
- On a Theory of Boolean FunctionsJournal of the Society for Industrial and Applied Mathematics, 1959
- A class of multiple-error-correcting codes and the decoding schemeTransactions of the IRE Professional Group on Information Theory, 1954