Boolean Differential Calculus and its Application to Switching Theory

Authors:
A. Thayse;M. Davio
Affiliations:
Research Laboratory, Manufacture Belge de Lampes et de Materiel Electronique;-
Venue:
IEEE Transactions on Computers
Year:
1973

Citing 9
Cited 10

Minimization of Exclusive or and Logical Equivalence Switching Circuits

IEEE Transactions on Computers
A Fast Algorithm for the Disjunctive Decomposition of Switching Functions

IEEE Transactions on Computers
Analyzing Errors with the Boolean Difference

IEEE Transactions on Computers
Analysis and Synthesis of Asynchronous Sequential Networks Using Edge-Sensitive Flip-Flops

IEEE Transactions on Computers
Variable-Length Distinguishing Sequences and Their Application to the Design of Fault-Detection Experiments

IEEE Transactions on Computers
Boolean Difference for Fault Detection in Asynchronous Sequential Machines

IEEE Transactions on Computers
An Efficient Algorithm for Generating Complete Test Sets for Combinational Logic Circuits

IEEE Transactions on Computers
Fault Equivalence in Combinational Logic Networks

IEEE Transactions on Computers
Path Sensitization, Partial Boolean Difference, and Automated Fault Diagnosis

IEEE Transactions on Computers

Reed-Muller Canonical Forms in Multivalued Logic

IEEE Transactions on Computers
Vector Boolean Algebra and Calculus

IEEE Transactions on Computers
An Approach to Unified Methodology of Combinational Switching Circuits

IEEE Transactions on Computers
Meet and Join Derivatives and Their Use in Switching Theory

IEEE Transactions on Computers
Dynamic Boolean Algebras

IEEE Transactions on Computers
Resolution-Oriented Fault Interrelationships in Combinational Logic Networks

IEEE Transactions on Computers
A Simplified General Method for Static Hazard Detection

IEEE Transactions on Computers
LSI logic testing: an overview

IEEE Transactions on Computers
Brief paper: Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method

Automatica (Journal of IFAC)
Is there a relation between sequential control and continuous control?

Mathematical and Computer Modelling: An International Journal

Quantified Score

Hi-index	15.01

Visualization

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.