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