Math Logic Calculator

Math Logic Calc zawiera kilka funkcji:

[✔] Kolejność w nawiasach kwadratowych z priorytetami operacji

[✔] Uprość wyrażenia logiczne

[✔] Zbuduj tabelę prawdy

[✔] Wyszukaj normalną postać wyrażenia logicznego:

    * Łączna postać normalna (i idealna)

    * Rozłączna postać normalna (i idealna forma)

Obsługa operacji logicznych:

¬a

    - logiczna negacja

a⇒b

    - implikacja materialna

a∧b

    - logiczna koniunkcja

a∨b

    - logiczne rozłączenie

a⇔b

    - logiczna równość

a⊕b

    - Wyłącznie lub (XOR)

a | b

    - bramka NAND

a ↓ b

    - Logiczny NOR (strzałka Peirce'a)

I wsparcie:

    [✔] nawiasy klamrowe

    [✔] liczby

    [✔] symbole

Przykłady:

(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