卡诺图与逻辑化简器
加载中...
功能特性
Quine-McCluskey
2-6 变量的严格布尔化简，求全部质蕴涵项并通过 Petrick 法得到最简与或式。
无关项支持
可指定无关项（don't care），在不影响逻辑的前提下进一步压缩表达式。
可视化卡诺图
2-4 变量自动绘制 Gray 码卡诺图，区分最小项、无关项与空缺格。
使用步骤
01选择变量数
设定逻辑函数变量个数（2 至 6）。
02输入最小项
以逗号分隔填入使函数为真的最小项编号。
03输入无关项
可选填入无关项，参与化简但不强制覆盖。
04读取最简式
查看最简与或表达式、质蕴涵项与卡诺图。
适用场景
组合逻辑化简FPGA/CPLD 优化真值表到表达式数字电路教学状态编码化简门电路最小化
常见问题
化简结果是最优的吗？
算法先求所有质蕴涵项，再用 Petrick 法选取覆盖全部最小项且项数/字面数最少的集合，结果保证为最简。
为何变量超过 4 不显示卡诺图？
五维及以上卡诺图在平面上难以直观呈现，因此页面改用质蕴涵项列表与最简式表达。
无关项有什么作用？
无关项表示逻辑上"无所谓"的取值，化简器可自由将其当作 0 或 1 使用以获得更简的结果。