Булева функция от n аргументов
Остаточная по вектору функции
Вектор функции по остаточным
Игра. Имя функции
Игра. Существенные и фиктивные переменные
Игра. ДНФ
Игра. КНФ
СДНФ по вектору функции
СКНФ по вектору функции
Игра. Предполные классы б.ф.
Игра. Полные системы б.ф.
Построение ДНФ