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