逻辑工具
输入变元
生成变元
逻辑运算符
∧
∨
~
→
↔
清空画布
生成真值表
随机公式
切换主题
当前表达式
无
真值表
×
检查答案
重新答题