Efficient Solution of Boolean Equations Using Variable-Entered Karnaugh Maps
Ali Muhammad Ali Rushdi, Saudi Arabia · 2004
A new method for obtaining a compact subsumptive general solution of a system of Boolean equations is presented. The method relies on the use of the variable-entered Karnaugh map (VEKM) to achieve successive elimination through successive map folding. It also makes an artificial distinction between don't-care and can't-happen conditions. Therefore, it is highly efficient as it requires the construction of maps that are both significantly fewer and significantly smaller than those required by classical methods. Moreover, the method is applicable to general Boolean equations and is not restricted to the two- valued case. Details of the method are formally justified, carefully explained and further demonstrated via an illustrative example.