Riznyk V, Solomko M. Minimization of conjunctive normal forms of boolean functions by combinatorial method. TAPR [Internet]. 2018May17 [cited 2024Nov.22];5(2(43):42-55. Available from: https://journals.uran.ua/tarp/article/view/146312