Консультация № 188539
24.12.2015, 19:56
0.00 руб.
24.12.2015, 20:02
0 2 1
Здравствуйте, уважаемые эксперты. Логика высказываний булевой алгебры. помогите пожалуйста доказать, используя метод редукции:(a→(b→c))→(a&b→c)

Обсуждение

давно
Посетитель
7438
7205
24.12.2015, 20:03
общий
Обратите внимание на эту консультацию
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
давно
Посетитель
7438
7205
25.12.2015, 15:38
общий
это ответ
Здравствуйте, Посетитель - 399128!
Упростим и покажем, что выражение тождественно равно истине:
Вспомним, что b[$8594$]c [$8801$] [$172$]b[$8744$]c
(a[$8594$](b[$8594$]c)) [$8801$] [$172$]a[$8744$][$172$]b[$8744$]c [$8801$] [$172$](a[$8743$]b[$8743$][$172$]c)
(a[$8743$]b[$8594$]c) [$8801$] [$172$](a[$8743$]b)[$8744$]c [$8801$] [$172$]a[$8744$][$172$]b[$8744$]c [$8801$] [$172$](a[$8743$]b[$8743$][$172$]c)
(a[$8594$](b[$8594$]c))[$8594$](a[$8743$]b[$8594$]c) [$8801$] [$172$]([$172$](a[$8743$]b[$8743$][$172$]c))[$8744$][$172$](a[$8743$]b[$8743$][$172$]c) [$8801$] (a[$8743$]b[$8743$][$172$]c)[$8744$][$172$](a[$8743$]b[$8743$][$172$]c) [$8801$] 1
5
Об авторе:
"Если вы заметили, что вы на стороне большинства, —
это верный признак того, что пора меняться." Марк Твен
Форма ответа