Mail.ruПочтаМой МирОдноклассникиВКонтактеИгрыЗнакомстваНовостиКалендарьОблакоЗаметкиВсе проекты

Для метода резолюций обязательно делать СКНФ? Если да, то как сделать СКНФ без таблицы истинности?

Артём Розолёнок Мастер (1274), на голосовании 5 лет назад
Голосование за лучший ответ
виктор носков Оракул (88493) 5 лет назад
методами алгебры...
Артём РозолёнокМастер (1274) 5 лет назад
И какой способ самый быстрый?
виктор носков Оракул (88493) давай пример...
Похожие вопросы