karnaugh-map - 使用卡诺图进行简化

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

因为有两个独立的小项，~AB和B~C。您的第一个示例仅包含一个最小术语；您对相关性的假设仅适用于单个 minterms，而不适用于所有 minterms 的集合。