LOM: a logic minimizer for Boolean functions

A minterm-based minimization algorithm for two-level single-output Boolean functions is described. All information needed for selecting essential prime implicants (EPIs) or selective prime implicants (SPIs) are obtained directly from adjacent minterms to the minterm which generates the EPI or SPI. All the EPIs are accurately selected in the first step, then the SPIs are established with the help of simple heuristic, so the received solution may be minimal or near minimal. Because of a small memory requirement, it is appropriate for implementation on a personal computer.