Math Logic Calculator

Math Logic Calc包含以下功能：

[✔]右括号与操作优先级顺序

[✔]简化逻辑表达式

[✔]建立真相表

[✔]搜索逻辑表达式的普通形式：

    *合取范式（和完美形式）

    *析取范式（和完美形式）

支持逻辑操作：

¬a

    -逻辑否定

a⇒b

    -实质意义

∧

    -逻辑合取

∨

    -逻辑分离

a⇔b

    -逻辑平等

⊕

    -异或（XOR）

a | b

    -NAND门

a↓b

    -逻辑NOR（皮尔斯箭头）

并支持：

    [✔]括号

    [✔]个数字

    [✔]符号

例子：

（A⇒B）⇒¬（B⇒A）

（A⊕B）∨（A⊕C）

（A⇒B）∨（B⇔C）

（（（A⇒B）⇒（A | C））⇒（¬B⇒¬C）

（A⇒B）∧（A↓C）

（A∨B）∨C⇒（A∨B）∧（A∨C）

0↓1 | a | b | c | 1↓0