База ответов ИНТУИТ

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

<<- Назад к вопросам

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

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

Варианты ответа
дизъюнктивная нормальная форма
контрарной паре
конъюнктивной нормальная форма(Верный ответ)
Похожие вопросы
Идея метода резолюций состоит в
Метод аналитических таблиц в отличие от метода резолюций
Литера в методе резолюций - это
Контрарная пара в методе резолюций - это
Пустой дизъюнкт в методе резолюций обозначается
Метод резолюций по своему смыслу более всего близок методу
Формулы в исчислении предикатов образуются с помощью
Примером аналогового устройства является:
Примером формальной системы является
Множество вида (01001000100001...) является: