无需登录 数据私有 本地保存

布尔代数求解器 - 逻辑表达式化简与真值表

11
0
0
0
🔢 逻辑表达式 支持变量 A, B, C, D（最多4个）
运算符： 也可用：* + ~ ¬ ∧ ∨ ⊕
预设：
❓ 常见问题与知识点
布尔代数中的基本运算符有哪些？
布尔代数使用三种基本运算：与（AND/∧）——两者为真结果才为真；或（OR/∨）——至少一个为真结果即为真；非（NOT/¬）——取反。此外还有异或（XOR/⊕）——两者不同时为真。本工具支持 &、|、!、^ 等常见符号，也支持后缀单引号表示取反（如 A' = NOT A）。
什么是真值表？有什么用处？
真值表列出了逻辑表达式中所有输入变量组合及其对应的输出值。对于n个变量，共有2ⁿ行。真值表是验证逻辑表达式正确性、发现逻辑等价关系的基础工具，也是数字电路设计的核心参考。
什么是卡诺图（Karnaugh Map）？
卡诺图是布尔表达式化简的图形化方法，由Maurice Karnaugh于1953年提出。它将真值表重新排列成网格，使得相邻格子只有一位变量不同（格雷码排列）。通过在卡诺图上圈出相邻的1，可以直观地找到最简逻辑表达式。本工具支持2-4变量的卡诺图显示。
SOP和POS形式有什么区别？
SOP（Sum of Products，乘积和）：将真值表中输出为1的最小项用OR连接，如 A·B + A·¬B。POS（Product of Sums，和之积）：将输出为0的最大项用AND连接，如 (A+B)·(A+¬B)。两者描述同一逻辑函数，但适用场景不同。SOP常用于与或门电路，POS常用于或与门电路。
德摩根定律（De Morgan's Laws）是什么？
德摩根定律是布尔代数中的重要恒等式：
① ¬(A·B) = ¬A + ¬B（与的非等于非的或）
② ¬(A+B) = ¬A · ¬B（或的非等于非的与）
这一定律在逻辑电路优化和表达式变形中非常有用，可以将NAND转换为带反相输入的OR，或将NOR转换为带反相输入的AND。
如何使用本工具进行表达式化简？
① 在输入框中输入逻辑表达式，支持变量A-D（最多4个）。
② 使用运算符按钮或直接键入：&/* 表示AND，|/+ 表示OR，!/~ 表示NOT，^ 表示XOR。
③ 点击"求解"或按Enter键。
④ 查看化简结果、真值表和卡诺图。化简采用Quine-McCluskey算法找出质蕴含项，确保得到最简SOP表达式。后缀单引号（如A'）等价于NOT A。
为什么变量限制为4个？
对于4个变量，真值表有16行，卡诺图为4×4网格，这在可视化和计算上都比较理想。5个变量需要32行真值表和两个4×4卡诺图，复杂度显著增加。本工具聚焦于最常见的2-4变量场景，覆盖了大多数教学和简单电路设计需求。如需处理更多变量，建议使用专业的EDA工具。
🔧 相关工具