Минимизация булевых функций методом карт

Минимизация булевых функций методом Квайна-Мак-Класки

Проверка принадлежности функции классам