Math Logic Calculator

Math Logic Calc contiene alcune funzionalità:

[✔] Ordine parentesi destra con priorità operazioni

[✔] Semplifica le espressioni logiche

[✔] Crea la tabella della verità

[✔] Cerca la forma normale dell'espressione logica:

    * Forma congiuntiva normale (e la forma perfetta)

    * Forma normale disgiuntiva (e la forma perfetta)

Supporta operazioni logiche:

¬a

    - negazione logica

a⇒b

    - implicazione materiale

a∧b

    - congiunzione logica

a∨b

    - disgiunzione logica

a⇔b

    - uguaglianza logica

a⊕b

    - Esclusivo o (XOR)

A | B

    - Cancello NAND

un ↓ b

    - NOR logico (freccia di Peirce)

E supporto:

    [✔] parentesi

    [✔] numeri

    [✔] simboli

Esempi:

(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