在线卡诺图化简工具，输入最小项与可选的无关项（don't care），输出最简与或式、最简或与式、卡诺图网格与门数估算。

每行一组，格式为「变量表; 最小项; 无关项(可选)」，例如 A,B,C; 0,2,5,7 或 A,B,C; 0,1,2; 3,5；也可只写变量个数 3; 0,2,5,7，或只写最小项、由参数「变量个数」决定位宽。切换到「按 SOP 表达式」模式可直接写 A'B + AC'，工具会先展开真值再化简。

化简使用奎因-麦克拉斯基算法求全部素蕴含项，再用本质素蕴含项与 Petrick 法选出最小覆盖，是真正的卡诺图化简而非查表；输出每个蕴含项对应的项与它覆盖的最小项编号。选择「输出卡诺图网格」会画出行列按格雷码排列的网格（2 变量 2×2、3 变量 2×4、4 变量 4×4、5 变量 4×8、6 变量 8×8），每格显示最小项编号与取值（1 / 0 / X），并标注它属于哪个圈。变量数上限 6（2^6 = 64 格），最小项编号越界会明确提示。

注意：本工具专注卡诺图化简求最简式；要由表达式生成完整真值表请用「真值表生成器」，要在 SOP / POS / 最小项 / 最大项之间做形式互转请用「布尔逻辑表达式双向转换工具」。