Solomko M, Batyshkina I, Voitovych I, Zubyk L, Babych S, Muzychuk K. Devising a method of figurative transformations for minimizing boolean functions in the implicative basis. EEJET [Internet]. 2020Dec.31 [cited 2024Jul.20];6(4 (108):32-47. Available from: https://journals.uran.ua/eejet/article/view/220094