输入表达式 · 获得最简形式

布尔表达式化简器

使用标准记法输入布尔表达式,获得最简的 SOP 或 POS 形式、对应的卡诺图,以及自动生成的电路。

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 布尔表达式化简器

支持标准记法

使用 ' 或 ! 表示非(NOT),+ 表示或(OR),. 或直接相邻表示与(AND),并完整支持括号。

不只是重新排版,而是真正化简

表达式会先被求值为真值表,再从头进行化简,因此结果可能比你输入的原始表达式更简单。

同时以电路形式呈现

化简后的表达式还会自动渲染为门级电路图。

Frequently asked questions

表达式解析器支持哪些记法?

变量字母 A 到 F,' 或结尾撇号表示非(NOT),+ 表示或(OR),. 或直接相邻表示与(AND),并支持括号分组——例如 "A.B + A'.(C+D)"。

已经很简单的表达式还会被进一步化简吗?

如果存在更简单的等价形式,就会继续化简——表达式会先被转换为完整真值表,因此结果反映的是真正的最简形式,而不仅仅是你输入的原始写法。

如果输入了无效的表达式会怎样?

工具会显示解析错误及出错位置,而不会猜测你的原本意图。