IBM - Personal communication

This web page contains the abstract of my paper:

"Prime Implicants, Minimum Covers and the Complexity of Logic Simplification" with C. McMullen, IEEE Transactions on Computers, c-35(1986), p. 761-762.

Abstract: We show that any Boolean function f which can be expressed in a sum-of-products form using m product terms can contain as many as 2**m-1 implicants but no more.

[ IBM Research home page | James B. Shearer's home page | Up ]
[ IBM home page | Order | Search | Contact IBM | Help | (C) | (TM) ]