DocumentCode
1112939
Title
Boolean Differential Calculus and its Application to Switching Theory
Author
Thayse, André ; Davio, Marc
Author_Institution
Research Laboratory, Manufacture Belge de Lampes et de Materiel Electronique
Issue
4
fYear
1973
fDate
4/1/1973 12:00:00 AM
Firstpage
409
Lastpage
420
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
Boolean difference, Boolean differential calculus, discrete Fourier transform, fault diagnosis, hazard detection, prime implicants, simple decomposition, Taylor-Reed expansions.; Boolean functions; Calculus; Differential algebraic equations; Discrete Fourier transforms; Fault detection; Fault diagnosis; Hazards; Manufacturing; Matrices; Switching circuits; Boolean difference, Boolean differential calculus, discrete Fourier transform, fault diagnosis, hazard detection, prime implicants, simple decomposition, Taylor-Reed expansions.;
fLanguage
English
Journal_Title
Computers, IEEE Transactions on
Publisher
ieee
ISSN
0018-9340
Type
jour
DOI
10.1109/T-C.1973.223729
Filename
1672322
Link To Document