最简 SOP 形式 · 必要质蕴涵项 + Petrick 方法
与或式(SOP)求解器
求出任意 2 到 6 变量布尔函数的最简与或式表达式,并直接在卡诺图上展示完整的分组过程。
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 与或式(sop)求解器
精确化简
通过必要质蕴涵项提取加 Petrick 方法——而非贪心捷径——求出真正的最简 SOP。
支持所有输入方式
输入最小项、真值表、卡诺图点击或原始表达式——无论哪种方式都能输出 SOP。
查看与-或电路
自动生成的电路直接对应 SOP 结构:每一项一个与门,再用一个或门将它们组合起来。
Frequently asked questions
SOP 是什么意思?
与或式(Sum-of-Products):由若干与项通过或运算连接组成的表达式,例如 F = AB + A'C——这是用与门和或门实现函数最常见的形式。
SOP 总是最简单的形式吗?
不总是——有些函数的或与式(POS)形式反而更简单。可以用 POS 求解器对同一函数进行对比。
在 SOP 化简中支持无关项吗?
支持,在所有输入方式中,只要无关项有助于构成更大的分组,就会被利用。