LogicCalculator

命题公式计算器

使用前务必阅读本文档

1. 输入变元须为大写英文字母

2. 用&表示且（合取）

   用 | 表示或（析取）

   用 ! 表示非

   用 -> 表示蕴含

   用 ^ 表示异或

   用 <-> 表示等值

   不支持 <- => <=> 等运算

3. 简单起见，非运算 ! 为高优先级，其余运算优先级相同,为低优先级.

4. 本计算器暂无自动查错功能，因此输入时须保证输入正确且符合规则，尤其注意表达式中不能有空格，用英文输入符号，注意括号的正确使用等