中缀写法
后缀写法
逻辑表达式
解析
视图
选择器
逻辑门
手动添加
与门
或门
非门
变量
常量 1
常量 0
导出
SVG
PNG
适应窗口
示例
(a AND b) → fe
a ∨ b ∧ ¬c
∀x(a ∧ b)
交换律
在顶部输入表达式后点「解析」,或点「手动添加」从空白画布开始搭
正在载入…