Минимизировать логическую схему

[Cuprum5]

Карты Карно.

[Steelcraft]

Можно компактнее, в 4 терма:

a*^c + ^a*^b*^c + a*c*d + b*c*^d

или еще чуть проще:

a*b + ^b*^c + b*c*^d + a*c*d

[Cuprum5]

В моей карте, если упрощать, то получится вот так:
F=^b*^c + b*c*^d + a*b + a*c*d.

[Steelcraft]

Это совпадает с моим вторым вариантом с точностью до перестановки слагаемых.

[Cuprum5]

Карта Карно к моему сообщению №13.

[Steelcraft]

Если есть желание продолжить упрощение, можно сгруппировать не единицы, а нули, всего 3 группы по 2 ячейки получается. Тогда можно функцию представить в конъюнктивной нормальной форме в виде трех макстермов. Впрочем для школы, возможно, это уже перебор (или нет, если школа с математическим уклоном).

[Cuprum5]

Карта Карно КНФ.

[Steelcraft]

У меня первый макстерм получился таким: a + ^b + c. Впрочем, делал наспех левой задней ногой, поэтому за правильность не ручаюсь. Два других такие же.

[Cuprum5]

Да.