Math Logic Calculator

Math Logic Calc enthält einige Funktionen:

[✔] Rechte Klammern ordnen sich nach den Operations-Prioritäten

[✔] Vereinfache logische Ausdrücke

[✔] Bilde die Wahrheitstabelle

[✔] Suche normale Form des logischen Ausdrucks:

    * Konjunktive Normalform (und die perfekte Form)

    * Disjunktive Normalform (und die perfekte Form)

Logische Operationen unterstützen:

¬a

    - logische Verneinung

a⇒b

    - materielle Implikation

a∧b

    - logische Verknüpfung

a∨b

    - logische Disjunktion

a⇔b

    - logische Gleichheit

a⊕b

    - Exklusiv oder (XOR)

a | b

    - NAND-Gatter

a ↓ b

    - Logisches NOR (Peirce's Pfeil)

Und Unterstützung:

    [✔] Klammern

    [✔] Nummern

    [✔] Symbole

Beispiele:

(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