使用卡诺图进行简化

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。您的第一个示例仅包含一个 minterm；您对相关性的假设仅适用于单个 minterms，不适用于 所有 minterms 的集合。