Skip to content

Latest commit

 

History

History
22 lines (13 loc) · 636 Bytes

README.md

File metadata and controls

22 lines (13 loc) · 636 Bytes

LogicCalculator

命题公式计算器

使用前务必阅读本文档

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

  2. &表示且(合取)

    | 表示或(析取)

    ! 表示非

    -> 表示蕴含

    ^ 表示异或

    <-> 表示等值

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

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

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