Упрощение с картами karnaugh

Question

У меня есть 2 булевых уравнения, и я должен упростить их с картами-картами, но у меня есть небольшая проблема с пониманием процедуры: Во-первых, я получил это: out = (~ a * b * ~ c * d) + (~ a * b * c * d). Это сводится к ~ a * b * d. Бит изменяется в c, поэтому c не имеет значения, без проблем.

Теперь проблема: б * ~ а + а * Ь * ~ с этим сводится к ~ а * Ь + Ь * ~ с. Здесь мы немного изменились в c, но ~ c не имеет значения. Зачем?

Answer 1

Потому что есть два отдельных минтермов, ~AB и B~C. Ваш первый пример состоит только из одного minterm; Ваше предположение об актуальности применимо только к отдельным minterms, а не к набор всех minterms.