Контрольная работа , 2 задачи.

Подробное тз при личном общении, краткое описание задач

1. Построить множество дизъюнктов для рассуждения. Для этого привести посылки и отрицание заключения к ПНФ, а затем к Сколемовской стандартной форме. Методом резолюции вывести пустой (тождественно ложный) дизъюнкт из исходного множества дизъюнктов.
2. Построить линейную разделяющую функцию для двух классов Класс 1 и Класс 2.

Примеры выполнения пошаговые есть.