булева выражения Упрощение

Question

Я построил таблицы истинности, чтобы доказать, что:
ABC + ABC'+ AB'C A'BC = AB+AC+BC,
но как я доказать, что это за счет упрощения выражения? Я довольно новичок в логической алгебре и попытался использовать основные тождества, чтобы понять это, но, похоже, не может туда добраться.

Answer 1

Вы могли бы написать:

ABC + ABC' 

в

AB(C + C') 

Так как C + C»всегда верно, что это просто AB. Такая же картина имеет место для AC(B + B') и BC(A + A'), что эквивалентно AC и BC соответственно.