免费 · 无需注册 · 完全在浏览器中运行

卡诺图求解器

输入卡诺图、真值表、布尔表达式,或最小项/最大项列表,最多支持 6 个变量。通过必要质蕴涵项提取和 Petrick 方法,获得精确的最简与或式(SOP)或或与式(POS),并自动生成对应的逻辑电路。

输入
点击单元格切换: 0 → 1 → X → 0
卡诺图
最简结果
输出格式
F = 0
质蕴涵项分析
自动生成电路
通用门转换

为什么选择这个卡诺图求解器

最多支持 6 个变量

支持 5 变量和 6 变量函数的标准多图块卡诺图,而不仅仅是大多数工具止步的 4 变量情况。

精确最小覆盖

先提取必要质蕴涵项,再对剩余项运用 Petrick 方法——与手工推导同样严谨,但瞬间完成。

五种输入方式

卡诺图点击、真值表、布尔表达式、最小项或最大项——所有方式自动同步,并全程支持无关项。

常见问题

这个卡诺图求解器最多支持多少个变量?

最多支持 6 个变量,5 变量和 6 变量使用标准的多图块卡诺图表示。大多数在线卡诺图工具最多只支持到 5 个变量。

得到的是精确的最简表达式,还是只是一个简化后的近似结果?

求解器首先提取必要质蕴涵项,然后对剩余项使用 Petrick 方法求出精确的最小覆盖,而不是简单的贪心近似算法。

可以直接输入布尔表达式,而不是在卡诺图上点击吗?

可以。你可以直接输入最小项、最大项、真值表或布尔表达式,卡诺图会自动同步更新。

是否支持无关项(don't-care)条件?

支持。所有输入模式都支持无关项,它们会被用来帮助化简表达式,但不会强制出现在最终结果中。