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
[✔] 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
