Math Logic Calculator

Math Logic Calc bevat enkele functies:

[✔] Rechter haakjes bestellen bij de operaties priorties

[✔] Vereenvoudig logische uitdrukkingen

[✔] Bouw de waarheidstabel

[✔] Zoek de normale vorm van de logische uitdrukking:

    * Conjunctieve normale vorm (en de perfecte vorm)

    * Disjunctieve normale vorm (en de perfecte vorm)

Ondersteunt logische bewerkingen:

¬A

    - logische ontkenning

a⇒b

    - materiële implicatie

a∧b

    - logische samenhang

a∨b

    - logische disjunctie

a⇔b

    - logische gelijkheid

a⊕b

    - Exclusief of (XOR)

a | b

    - NAND poort

a ↓ b

    - Logisch NOR (Peirce's pijl)

En ondersteuning:

    [✔] haakjes

    [✔] nummers

    [✔] symbolen

Voorbeelden:

(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