速報APP / 教育 / Math Logic Calculator

Math Logic Calculator

價格:免費

更新日期: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 Calculator(圖1)-速報App

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

Math Logic Calculator(圖2)-速報App

- material implication

a∧b

- logical conjunction

a∨b

- logical disjunction

a⇔b

- logical equality

a⊕b

- Exclusive or (XOR)

a|b

- NAND gate

Math Logic Calculator(圖3)-速報App

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)

Math Logic Calculator(圖4)-速報App

(A⇒B)∧(A↓C)

(A∨B)∨C ⇒ (A∨B)∧(A∨C)

0↓1|a|b|c|1↓0

Math Logic Calculator(圖5)-速報App