我还附上了下面的屏幕截图。
我的问题是，如果组应该足够大，为什么不考虑突出显示的区域而只考虑一个子集来获得 BD 而不是 D？
先感谢您。
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 回答