卡诺图（K-Map）求解器 — 可视化布尔最小化
我们的卡诺图（K-Map）求解器接收2、3或4个布尔变量的最小项列表，将它们排列在正确的格雷码K-map网格上，并在后台应用Quine-McCluskey最小化，将相邻的1分组为尽可能少的质蕴含项——这正是数字逻辑课程中教授的可视化方法，只是实现了自动化且无差错。
快速解答
为2至4个变量输入输出为1的最小项，此工具将绘制格雷码K-map网格，突出显示分组，并报告最小和之积表达式。
输入输出为1的十进制最小项索引，例如0,2,5,6,7,8,10,13,14,15。
如何使用 卡诺图（K-Map）求解器 — 在线2至4变量
- 1
选择变量数（2、3或4）。
- 2
以逗号分隔的列表形式输入输出为1的十进制最小项索引。
- 3
点击'求解'查看突出显示分组的K-map网格以及最小化的表达式。
为什么使用 卡诺图（K-Map）求解器 — 在线2至4变量？
卡诺图将真值表的输出排列在一个网格中，相邻单元格仅相差一个变量，因此您可以直观地发现1的分组并读出最小和之积表达式——这一技术由Maurice Karnaugh于1953年提出，作为对少量变量进行纯代数简化的更快替代方法。此求解器使用正确的格雷码行列顺序构建同样的网格，并将其与本站布尔代数简化器内部使用的相同Quine-McCluskey最小化相结合，因此您看到的分组始终对应于可证明的最小或接近最小的表达式，而不是人工猜测。