1

这是K图的链接：http ://tma.main.jp/logic/logic.php?lang=en&type=eq&eq=%28%7EA%7EBC%7ED%29+%2B+%28%7EA%7EBCD %29+%2B+%28%7EAB%7ECD%29+%2B+%28%7EABCD%29+%2B+%28A%7EB%7EC%7ED%29+%2B+%28A%7EB%7ECD%29+%2B+% 28A%7EBC%7ED%29+%2B+%28A%7EBCD%29+%2B+%28AB%7EC%7ED%29+%2B+%28AB%7ECD%29+%2B+%28ABC%7ED%29+%2B+%28ABCD %29

我还附上了下面的屏幕截图。 K地图

我的问题是，如果组应该足够大，为什么不考虑突出显示的区域而只考虑一个子集来获得 BD 而不是 D？

先感谢您。

4

1 回答 1

0

这些组应该“足够大”，以便它们取消变量X并NOT X退出。这仅在完成X或被NOT X您的选择击中时有效。当您选择六个选定的单元格时，您将AD完全击中该区域，但不是该A'D区域。这意味着您无法取消它们并D随心所欲地获得。当您点击整体AD和A'D区域时，其含义为：“嗯，条件取决于D的值，并且与 的值完全无关A。”

当写成布尔代数时，你会得到：

AD OR A'D
(A OR A') AND D
( true  ) AND D
D

那将是目标。但是由于您没有涵盖整个A'D区域，因此无法在此处进行简化。

要检查您是否在选定区域中选择了正确的单元格数量，单元格的数量必须是 2 的幂值。所以它必须是 1、2、4、18、16、...

在这种情况下，您有以下地区：

  • A(2*4=8)
  • BD(2*2=4)
  • B'C（2*2=4，注意区域如何“环绕”K-map 的边缘）

请记住，结果A'B'C'D是false，不是true。但是当你刚刚D在你的布尔代数中A+D+B'C，结果会是true。

于 2020-10-21T12:59:13.793 回答