Boolean function minimization in the class of disjunctive normal forms A. A. SapozhenkoI. P. Chukhrov OriginalPaper Pages: 2021 - 2052