布尔代数简化器 — 简化任意逻辑表达式
我们的布尔代数简化器解析由AND、OR、NOT、XOR、NAND、NOR等运算符构建的任意逻辑表达式，在内部生成其真值表，并运行Quine-McCluskey算法将其简化为最小和之积形式——这是数字逻辑设计中使用的同样严谨的方法，支持最多6个变量。
快速解答
此工具解析您的布尔表达式，生成其真值表，并运行Quine-McCluskey算法以生成最小等价的和之积表达式，支持最多6个变量。
使用AND、OR、NOT、XOR、NAND、NOR（或&、|、!、^）和括号。变量是A、B、C等字母。
如何使用 布尔代数简化器 — 在线Quine-McCluskey最小化
- 1
使用变量（A、B、C…）和AND、OR、NOT、XOR等运算符输入布尔表达式。
- 2
点击'简化'以在内部生成真值表并运行Quine-McCluskey最小化。
- 3
查看简化后的和之积表达式以及用于构建它的质蕴含项。
为什么使用 布尔代数简化器 — 在线Quine-McCluskey最小化？
数字电路由逻辑门构成，门数越少意味着成本越低、功耗越小、延迟越少——因此将布尔表达式简化为其最简单的等价形式是数字设计中的关键步骤。Quine-McCluskey算法由Willard Quine和Edward McCluskey在20世纪50年代开发，它系统地合并仅相差一个变量的真值表最小项以找到每一个'质蕴含项'，然后选择一小组仍能覆盖每个真输出的质蕴含项——从而产生一个最小或接近最小的和之积表达式，而不同于临时的手动简化。本计算器对最多6个变量的表达式执行这一精确过程，与本站真值表生成器所使用的实际上限相同。