Соломко, М. Т. Розробка алгоритму мінімізації булевих функцій для візуально-матричної форми аналітичного методу. EEJET 2021, 1, 6-21.