吸收律
A + AB = A，因为 AB 为 1 时，A 已经为 1。
载入示例 →数字逻辑 / 布尔代数
带精确步骤和逻辑电路输出的布尔代数化简器
把布尔表达式化简为所有最小 SOP 和 POS 形式。查看所用恒等律和精确合并步骤，并获取等价的 NAND、NOR、Verilog、VHDL 和 LaTeX 输出。
输入布尔表达式
精确最简形式
变量
最小项
主蕴含项
最简解数量
最简 SOP 解
最简 POS 解
检查下一步化简
输入你认为正确的下一行。工具会检查所有输入组合；如果函数发生变化，会给出反例。
逐条定律推导
查看原式如何经过真值等价、标准展开、合并和主蕴含项选择，最终得到精确最简结果。
精确制表细节
主蕴含项表
逻辑电路、通用门与实现代码
仅用与非门
仅用或非门
Verilog
VHDL
LaTeX
布尔代数分步示例
布尔代数常用定律
| 定律 | 或形式 | 对偶与形式 |
|---|---|---|
| 恒等律 | A + 0 = A | A · 1 = A |
| 幂等律 | A + A = A | A · A = A |
| 互补律 | A + A′ = 1 | A · A′ = 0 |
| 吸收律 | A + AB = A | A(A + B) = A |
| 德摩根律 | (A + B)′ = A′B′ | (AB)′ = A′ + B′ |
为什么需要精确化简
代数变换依赖于识别合适的恒等式。精确引擎会计算函数、生成主蕴含项并求解覆盖问题，因此能够证明不存在项数更少或文字更少的等价覆盖。
如何验证化简步骤
有效的变换必须在每个已定义输入组合下保持相同输出。步骤检查器会对原式和建议表达式求值，并在两者不等价时给出第一组反例。
为什么要化简逻辑函数
较少的文字和门输入通常意味着更少的元件、布线、功耗和传播延迟，但实际设计仍应比较 SOP、POS、NAND 和 NOR 实现。
常见问题
什么是吸收律？
吸收律会删除已被另一项包含的项，例如 A + AB = A。
如何应用德摩根律？
对括号内每个文字取反，并把“与”换成“或”，或把“或”换成“与”。
两个不同的最简答案都可能正确吗？
可以。不同的主蕴含项覆盖方式，可能具有相同的最少项数和文字数。
化简会改变真值表吗？
不会。最简表达式必须在每个已定义输入下与原式相同。