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 清晰展示。
信息
- 发布日期
- 2026-01-13
- 最近更新
- 2026-02-23
- 状态
- Normal