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

Question

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

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

Answer 1

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