输入真值表，反向求出最简逻辑表达式：可以用「变量表; 输出为 1 的行号」写最小项（如 A,B,C; 0,2,5,7），也可以直接写输出列（如 A,B; 1100）。

本工具做的是真正的化简（Quine-McCluskey：素蕴含项 → 本质项 + Petrick 最小覆盖），输出标准与或式 Σm、最简与或式、最简或与式 ΠM 三种形式，可选符号写法（A'B + AC'）或文字写法（(NOT A AND B) OR (A AND NOT C)）。

两点注意：① 输出列的第 1 个字符对应「全 0 行」（行号 0），之后按二进制顺序递增，字符用 1 / 0 / x（无关项，- 也行），长度必须等于 2 的变量数次方；② 勾选「无关项」后，最小项会被合并得更简（d(...) 的行只要不与最小项冲突即可随意取 0 或 1）。默认 3 个变量，最多 6 个；每行结果都会用该表达式回代真值表逐行比对，全部一致才显示「通过」。