ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 17.03.2019
Просмотров: 731
Скачиваний: 10
ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.
8. Методом резолюций проверить следующие соотношения:
а)
;
б)
;
в)
;
г)
;
д)
.
9. Проверить на противоречивость множество хорновских дизъюнктов
а)
;
б)
;
в)
.