Math Logic Calc simplify any logic expressions

Math Logic Calc contains few features:

[✔] Right brackets order with the operations priorties

[✔] Simplify logical expressions

[✔] Build the truth table

[✔] Search normal form of the logical expression:

* Conjunctive normal form (and the perfect form)

* Disjunctive normal form (and the perfect form)

Support logical operations:

¬a

- logical negation

a⇒b

- material implication

a∧b

- logical conjunction

a∨b

- logical disjunction

a⇔b

- logical equality

a⊕b

- Exclusive or (XOR)

a|b

- NAND gate

a↓b

- Logical NOR (Peirce's arrow)

And support:

[✔] brackets

[✔] numbers

[✔] symbols

Examples:

(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