四个 4×4 图块 · 超越大多数在线工具的支持范围
6 变量卡诺图求解器
使用按另外两个变量排列的四个 4 变量图块,求解完整的 6 变量布尔函数,并通过 Petrick 方法实现精确化简。
Input
Click a cell: 0 → 1 → X → 0
Karnaugh Map
Minimal Result
Output format
F = 0
Prime Implicant Analysis
Auto-generated Circuit
Universal Gate Conversion
Why use this 6 变量卡诺图求解器
在线工具中确实少见
大多数免费卡诺图工具最多只支持到 5 个变量——而这个工具可以处理完整的 6 变量情形。
依然精确,而非近似
采用与其他规格相同的必要质蕴涵项加 Petrick 方法引擎,因此结果是可证明的最小值,而不只是一个合理的猜测。
适用于实际课程作业
适用于高级数字逻辑课程,以及教材中预期用计算机而非手工求解的问题。
Frequently asked questions
为什么支持 6 变量的工具这么少?
多图块布局以及可能的分组数量增长很快,因此需要更精心设计的算法,才能让分组和化简既正确又快速。
6 变量卡诺图使用多少个图块?
四个 4 变量图块,按另外两个变量的取值排列成 2×2 的布局。
手工绘制 6 变量卡诺图在课程作业中现实吗?
手工绘制是可行的,但繁琐且容易出错,这正是这类求解器在核对结果时最有用的场景。