Главная / Алгоритмы и теория вычислений / Контрарная пара в методе резолюций - это

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

вопрос

Правильный ответ:

операции конъюнкции и дизъюнкции
операции отрицания и импликации
литера и ее отрицание
Сложность вопроса
55
Сложность курса: Алгоритмы и теория вычислений
82
Оценить вопрос
Очень сложно
Сложно
Средне
Легко
Очень легко
Комментарии:
Аноним
Если бы не эти решения - я бы не осилил c этими тестами интуит.
05 дек 2020
Аноним
Это очень заурядный решебник интуит.
04 май 2018
Оставить комментарий
Другие ответы на вопросы из темы алгоритмы и дискретные структуры интуит.