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