Math Logic Calculator
ID: org.krapp2.mathlogic
-
Version:
Varies with device
-
Mise à jour le:
2020-01-06
Télécharger l'APK maintenant
Installation sécurisée sous garantie, pas de publicités supplémentaires ni de logiciels malveillants
La description de Math Logic Calculator
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
Montre plus
Math Logic Calculator Varies with device APK pour Android Varies with device+
Version | Varies with device pour Android Varies with device+ |
Mise à jour le | 2020-01-06 |
Installe | 100++ |
Taille du fichier | 0 bytes |
Autorisations | voir les autorisations |
Quoi de neuf |
Semblable à "Math Logic Calculator"
Appuyez sur APK
Montre plus