卡诺图无关紧要案例
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)
(图像是使用乳胶生成的。)
我目前正在处理以下真相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)
(图像是使用乳胶生成的。)