Задание 7

Система предлагает вектор булевой функции, пользователь вводит её КНФ