问题描述
这是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
我还附上了以下屏幕截图。
我的问题是，如果组足够大，为什么不考虑突出显示的区域，而只考虑一个子集来获取BD而不是D？
谢谢。
解决方法
组应该“足够大”，以便它们取消变量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地图的边缘）
请记住，A'B'C'D的结果是false，而不是true。但是，当布尔代数中只有D像A+D+B'C时，结果就是true。