Generating Essential Primes for a Boolean Function with Multiple-Valued Inputs

DOI10.1109/TC.1987.1676907zbMath0629.94020MaRDI QIDQ3767260

No author found.

Publication date: 1987

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

zbMATH Keywords

logic minimization; unate function; Boolean function with multiple-valued inputs; essential prime implicant; tautology checking

Mathematics Subject Classification ID

06E30: Boolean functions

03G05: Logical aspects of Boolean algebras

94C11: Switching theory, applications of Boolean algebras to circuits and networks

Related Items

Polynomial-time algorithms for generation of prime implicants