真值表生成器

在线逻辑表达式真值表生成工具,支持与或非、蕴含、等价等多种逻辑运算,自动生成所有真值组合

Workspace

真值表生成器

输入逻辑表达式,自动生成包含所有变量组合的真值表。
支持多种逻辑符号格式,帮助您快速验证布尔逻辑。

输入表达式

等待输入...

支持符号:

与: &, && 或: |, || 非: !, ~ 异或: ^ 蕴含: ->, => 等价: <->

示例

生成结果

在左侧输入表达式并点击生成

工具介绍

真值表生成器是一款帮助学生、工程师和数学爱好者快速分析逻辑表达式的工具。只需输入逻辑公式,即可自动生成包含所有可能变量组合的真值表 (Truth Table)。

支持的运算符

  • AND (与): &, &&, AND (例如: A & B)

  • OR (或): |, ||, OR (例如: A | B)

  • NOT (非): !, ~, NOT (例如: !A)

  • XOR (异或): ^, XOR (例如: A ^ B)

  • 蕴含 (Implies): ->, => (例如: A -> B, 等同于 !A | B)

  • 等价 (Equivalence): <->, <=> (例如: A <-> B)


使用示例

  • 简单逻辑: p && q

  • 蕴含逻辑: p -> q

  • 复杂组合: (A | B) & !(C -> A)


功能特点

  • 自动识别变量:无需手动声明,工具会自动提取表达式中的变量(如 A, B, p, q)。

  • 智能解析:支持多层括号嵌套和多种符号表示。

  • 结果高亮:结果列使用 True/False 或 1/0 清晰展示。

讨论 0

登录 后参与讨论

暂无评论,成为第一个分享观点的人吧。