Solomko, M. Development of a Non-Standard System for Simplifying Boolean Functions. EEJET 2024, 3, 6-34.