Какое из утверждений соответствует дополнительному правило SLDNF-резолюции:
(Отметьте один правильный вариант ответа.)
Варианты ответа
заканчивается неуспехом тогда и только тогда, когда A не имеет конечного успешного дерева вывода
заканчивается неуспехом тогда и только тогда, когда A имеет конечное успешное дерево вывода(Верный ответ)
заканчивается успехом тогда и только тогда, когда A имеет конечное успешное дерево вывода
