【发布时间】：2014-10-24 18:18:23
【问题描述】：
我有一个卡诺图问题。在数字设计课程中老师学过，但我在这里无法理解清楚。我们可以在图片中看到。在第一个中，我们使用全 1 并且有 4x3 1。在第二个中，我们有 8x2 1，我们使用了一些 1 两次。哪个答案是正确的？第一个还是第二个？为什么？
感谢所有回复。
【问题讨论】：
标签： boolean logic karnaugh-map digital-design
【发布时间】：2014-10-24 18:18:23
【问题描述】：
两者都是图示函数的有效表达式。
在大多数情况下，A+C 是首选，因为它是一个更简单的表达式。
【讨论】：
-
好的。两者都是有效的，但它们必须相等（我错了吗？）。然后 A'C + AC' + AC = A + C | A'C + A(C'+C) = A + C | A'C + A = A + C | A'C = C | A' = 1 | A = 0 我发现 A 必须为 0 才能提供相等性。我在上面证明了如果 A = 1 那么第一个不等于第二个。但是，如果我们查看真值表，它们的真值表是相同的。最后，我很困惑。
-
在此上下文中，“有效”表示“其真值与 KM 中的值匹配的表达式”。而“相等”的意思是“两个表达式都具有完全相同的真值分配”——即，只要一个表达式的布尔值为 1，另一个表达式也是如此。那么如何证明
A'C+AC'+AC和A+C相等呢？一种方法是分别为每个构建一个 KM 并查看它们是否相同。可是等等！那已经完成了！如果表达式 X 是 KM 的有效表达式，而 Y 是同一 KM 的另一个有效表达式，那么 X 和 Y 当然必须相等。