Часть 2 готова к проверке
Готово:
- реализовать операцию Apply (претендует на 10 баллов);
- реализовать операторы проектирования по переменной, то есть получения подфункций заданной функции, полученных в результате разложения по некоторой переменной (претендует на 10 баллов);
- реализовать оператор булевой разности заданной ФАЛ, а также операторы связывания переменной (квантор существования и квантор всеобщности) для заданной ФАЛ (10 баллов);
Подробнее о сборке и этой части в README.md