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