В правиле резолюции контрарными литералами называются:
(Отметьте один правильный вариант ответа.)
Варианты ответа
исходные дизъюнкты
вычеркнутые формулы(Верный ответ)
Основы программирования на языке Пролог
Похожие вопросы
В правиле резолюции резольвируемыми называются:
