布尔函数化简器（真值表 · 卡诺图 · Quine–McCluskey） — 免费在线工具

布尔函数化简器（真值表 · 卡诺图 · Quine–McCluskey）是 CintaBox 芯塔盒在线工具箱提供的免费在线工具：输入一个布尔函数（表达式、最小项 Σm(…) + 无关项 d(…)，或直接在真值表 / 卡诺图上点格子），自动求最简与或式（SOP）和最简或与式（POS），把卡诺图上的圈组画出来，并给出 Quine–McCluskey 的完整化简过程 —— 数字电路、离散数学这一章的作业可以直接对答案。

⭐ **卡诺图圈组**：2 ~ 6 个变量，行列按 Gray 码排，每个最简项画成一个矩形圈（首尾相接的圈伸出图边「卷起来」，5 / 6 个变量按教材拆成 2 / 4 张 4×4 子图），点格子或用键盘就能改 0 / 1 / ×，可导出 PNG。

⭐ **Verilog / VHDL**：最简式直接给出 assign / <= 语句，一键复制；变量名可以自己起。

⭐ **Quine–McCluskey 化简过程**：按 1 的个数分组、逐轮合并、质蕴含项表、必要质蕴含项、剩余最小项的 Petrick 覆盖 —— 每一步都列出来，和教材一个写法。

⭐ **全部最小解**：最小覆盖不唯一时把每一个都列出来（循环质蕴含项表就是这种情况），项数优先还是文字数优先做成选项。

⭐ **准不准**：质蕴含项集合与穷举所有蕴含项的独立写法逐个一致，最小覆盖的代价与整数规划（scipy milp）求出的最优值一致，化简结果与原真值表逐行等价 —— 随机函数上逐一对过。

⭐ **等价判定 + 两级门电路**：再写一个式子和当前函数逐行比，不等就给出第一个反例赋值；与或式对应与非-与非、或与式对应或非-或非，直接给出式子与两级门数 / 输入端数。

⭐ **分享 / 导出**：「分享」把函数、变量名、口径编进链接（只带输入，打开时重新算）；真值表一键复制（粘进 Excel）或下载 CSV；手机上多张子图竖着排。

全在浏览器里算，不上传。想把化简后的式子搭成电路看它亮灯，请用站内「逻辑电路模拟器」。无需注册、无需安装软件，打开网页即可使用，处理全程在浏览器本机完成，文件不上传服务器。