Solomko, M.; Tadeyev, P.; Zubyk, L.; Babych, S.; Mala, Y.; Voitovych, O. Implementation of the Method of Figurative Transformations to Minimizing Symmetric Boolean Functions. EEJET 2021, 4, 23-39.