卡诺图设置
点击格子切换值：0 → 1 → X → 0
最简SOP表达式（积之和）
-
最简POS表达式（和之积）
-
卡诺图求解器介绍
什么是卡诺图？
卡诺图（Karnaugh Map，简称K-map）是数字逻辑设计中用于化简布尔代数表达式的图形工具。它将真值表按格雷码排列成网格，通过圈组相邻的1来消除冗余变量，得到最简与或表达式（SOP）或或与表达式（POS）。
核心功能
- 2-4变量支持：覆盖最常用的2、3、4变量卡诺图
- 交互式填值：点击格子切换0/1/X，实时反馈
- 自动化简：一键求解最简SOP和POS表达式
- 无关项支持：支持don't care（X）值，自动最优利用
使用教程
1. 选择变量数量（2/3/4）
2. 点击卡诺图格子，将值设置为0、1或X
3. 点击"求解化简"按钮，自动生成最简表达式
应用场景
数字电路设计：化简组合逻辑电路，减少门电路数量。4变量卡诺图可处理大多数常见的组合逻辑问题。
计算机组成原理：学习布尔代数化简方法，理解逻辑优化原理。
EDA工具验证：手动验证EDA工具的化简结果，确保逻辑正确性。
常见问题 FAQ
什么是卡诺图？
卡诺图是一种用图形化方法化简布尔代数表达式的工具。它将真值表中的值排列成网格，利用格雷码特性，通过圈组相邻的1来消除冗余变量。
卡诺图能化简几个变量？
通常用于2-6个变量。本工具支持2-4变量。超过6变量建议使用Quine-McCluskey算法。
SOP和POS有什么区别？
SOP（积之和）是圈1得到的表达式，如AB+AC。POS（和之积）是圈0得到的表达式，如(A+B)(A+C)。
什么是无关项？
无关项用X表示，输出可以是0或1。化简时可灵活利用以得到更简表达式。
为什么使用格雷码排列？
格雷码确保相邻格子只有一个变量不同，才能通过圈组合并消去变量。
卡诺图化简的基本规则？
圈必须包含2^n个相邻1，尽可能大且数量少，每个1至少被一个圈包含，边界环绕也算相邻。