Riznyk, V.; Solomko, M. Minimization of Conjunctive Normal Forms of Boolean Functions by Combinatorial Method. TAPR 2018, 5, 42-55.