生成真值表
工作原理
输入布尔表达式,生成器显示所有变量组合和结果。
支持的运算符
and
or
not
xor
nand
implies
eq
示例表达式
点击示例试试:
与门
a and b
或门
a or b
非门
not a
异或门
a xor b
同或(等价)
(a and b) or (not a and not b)
蕴含
a implies b
另见
- Logic Engine ——用推理规则从前提推导结论