Math Logic Calculator

O Math Logic Calc contém alguns recursos:

[✔] Ordem de colchetes corretos com os priorties de operações

[✔] Simplifique expressões lógicas

[✔] Crie a tabela da verdade

[✔] Pesquise a forma normal da expressão lógica:

    * Forma normal conjuntiva (e a forma perfeita)

    * Forma normal disjuntiva (e a forma perfeita)

Suporte a operações lógicas:

¬a

    - negação lógica

a⇒b

    - implicação material

a∧b

    - conjunção lógica

a∨b

    - disjunção lógica

a⇔b

    - igualdade lógica

a⊕b

    - Exclusivo ou (XOR)

a | b

    - portão NAND

a ↓ b

    - NOR lógico (flecha de Peirce)

E suporte:

    [✔] colchetes

    [✔] números

    Símbolos [✔]

Exemplos:

(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