價格:免費
更新日期:2017-11-23
檔案大小:3.2M
目前版本:1.0.1
版本需求:Android 4.0.3 以上版本
官方網站:http://srexamen.com/derivative
Email:mail@kontrolnaya-rabota.ru
聯絡地址:Russia, г. Каменск-Уральский, ул. Лермонтова, д. 167, кв. 27
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