Meet and Join Derivatives and Their Use in Switching Theory

Authors:
A. Thayse
Affiliations:
MBLE Research Laboratory
Venue:
IEEE Transactions on Computers
Year:
1978

Citing 2
Cited 2

Boolean Differential Calculus and its Application to Switching Theory

IEEE Transactions on Computers
Analyzing Errors with the Boolean Difference

IEEE Transactions on Computers

P-Functions: a new tool for the analysis and synthesis of binary programs

IEEE Transactions on Computers
Locally monotone Boolean and pseudo-Boolean functions

Discrete Applied Mathematics

Quantified Score

Hi-index	14.98

Visualization

Abstract

The theoretical concepts of meet and join derivatives and extended vector of Boolean functions are defined. These concepts give rise to new methods (using the Kronecker matrix product) for prime implicant and prime implicate extraction. An extensive comparison between meet and join derivatives and the consensus theory is made.