Как сократить данную операцию?

Question

[Александр]

Нужно сократить выражение:
Я правильно понимаю, что мы сначала полностью сносим инверсию? Если да, то что делать дальше? Могу ли я перемножить все члены по правилам привычной мне школьной алгебры, а после вынести множитель, предварительно сократив?

Answer 1

[Mercury13]

Сначала законы де Моргана. Потом !!B=B, и т.д.
Первая часть даст B || !C. Вторая — !B || C. И всё это ИЛИ — так что выходит тождественная истина (B || !B = 1).
(Простите, облом искать юникодные символы, так что беру из Си: && и, || или, ! не)

Comments

[Александр]

Спасибо, все понятно

Answer 2

[Сергей Соловьев]

Я правильно понимаю, что мы сначала полностью сносим инверсию?

Вначале, да - можно применить закон де Моргана

Если да, то что делать дальше

Смотреть, какие еще законы упрощения можно применить. Делать попытки разные. Общего алгоритма не существует.

Могу ли я перемножить все члены по правилам привычной мне школьной алгебры, а после вынести множитель, предварительно сократив

Распределительный закон применим к булевой алгебре

Answer 3

[Rsa97]