卡诺图无关紧要案例

Karnaugh map dont-care case

我目前正在处理以下真相table

我需要从这个 table 得到卡诺图,模拟给了我这个

然而,当我手动执行时,我得到了这个结果(因为 X 可以是你需要的任何东西)

我真的不知道我错过了什么......我知道它一定与 X 有关,但我研究的结果表明你不需要将所有 X 分组以获得结果

我目前正在做的就是通过这种方式获取 1 组

第一组

0 0 0 0

0 0 1 0

这给了我一个'b'd'

第二组

0 1 1 1

这给了我一个'bcd

第三组

1 1 0 0

1 0 0 0

这让我很高兴'

所以是的,我没有得到相同的模拟结果,我不知道为什么......我确定它与无关字段 (X)

另一个解决方案被认为更好,因为你的解决方案没有使用右下角的 X 来发挥你的优势 - 获得四边形(四个角中的每一个都形成它).此外,这两个解决方案不能等价,因为 X 的计算方式不同 - 您将其视为零,另一个解决方案使其成为逻辑组的一部分。

您的表达式使用两对和一个单电池,而另一个解决方案涵盖一个四极管、一对和一个单电池

X 单元格确实可以是 1 或 0,但它的目的是使用它们为当前选择的输出值 (1/0) 找到更大的单元格组 .

您可以以任何一种方式使用它(作为零或作为逻辑一),但是最小 DNF 和最小 CNF 不会完全等价,因为 X 是一种变形器:)

您可以在下图中看到,其中一个 X 以两种最小形式使用 - 一次作为零,一次作为逻辑一。

f_1 = ¬b·¬d + a·¬c·¬d + ¬a·b·c·d
f_0 = (c + ¬d)·(b + ¬d)·(¬a + ¬c)·(a + ¬b + d)

(图像是使用乳胶生成的。)