Алгоритмы и теория вычислений

Метод аналитических таблиц в отличие от метода резолюций

(Отметьте один правильный вариант ответа.)

Варианты ответа

требует приведения формулы к дизъюнктивной нормальной форме

требует приведение формулы к конъюнктивной нормальной форме

не требует приведения формулы к конъюнктивной нормальной форме(Верный ответ)

Похожие вопросы

Идея метода резолюций состоит в

Обязательным требованием метода резолюций является приведение исходной формулы к

Метод резолюций по своему смыслу более всего близок методу

Литера в методе резолюций - это

Контрарная пара в методе резолюций - это

Пустой дизъюнкт в методе резолюций обозначается

Отличие тезиса от теоремы заключается в