Math Logic Calc semplifica qualsiasi espressione logica
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