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

Помогите с матлогикой

Дмитрий Булатников Ученик (96), открыт 1 неделю назад
Имеется следующая красота: ((A → B); B ) |- (¬A &¬С∨B ∨ C)
Помогите доказать истинность дедуктивным методом и методом резолюции
Похожие вопросы