A ‘ striking off’ procedure for searching for the prime implicants of a logic function
Alain Pétrowski, L. LEGRAND, H. BECHAR, A. J. Tosser · International Journal of Electronics · 1983
The binary coded form of minterms for both minterms and reduced minterms is used in a very simple method for searching for prime implicants of logic functions. It only requires XOR and comparison operations.