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