Title :
Meet and Join Derivatives and Their Use in Switching Theory
Author_Institution :
MBLE Research Laboratory
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.
Keywords :
Boolean functions; consensus theory; extended vectors; meet and join derivatives; prime implicants and prime implicates; Boolean functions; Lattices; Boolean functions; consensus theory; extended vectors; meet and join derivatives; prime implicants and prime implicates;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1978.1675178
