逻辑表达式可视化工具

常用示例

运算符说明

. 逻辑与（AND）：a b . → a ∧ b

, 逻辑或（OR）：a b , → a ∨ b

< 逻辑非（NOT）：a < → ¬a

= 逻辑等价：a b = → a ↔ b

> 逻辑蕴含：a b > → a → b

@ 全称量词：x P @ → ∀x P

? 存在量词：x P ? → ∃x P

元素编辑

{"nodeArray":[],"linkArray":[]}