Сложные логические задачи и методы: минимизация булевых функций