Math Logic Calculator

Math Logic Calc chứa một vài tính năng:

[✔] Dấu ngoặc phải với các chức năng hoạt động

[✔] Đơn giản hóa các biểu thức logic

[✔] Xây dựng bảng chân lý

[✔] Tìm kiếm dạng bình thường của biểu thức logic:

    * Dạng bình thường kết hợp (và dạng hoàn hảo)

    * Hình thức bình thường rời rạc (và hình thức hoàn hảo)

Hỗ trợ các hoạt động logic:

¬a

    - phủ định logic

a⇒b

    - hàm ý vật chất

a∧b

    - kết hợp logic

a∨b

    - phân biệt logic

a⇔b

    - bình đẳng logic

a⊕b

    - Độc quyền hoặc (XOR)

a | b

    - Cổng NAND

a ↓ b

    - Hợp lý NOR (mũi tên của Peirce)

Và hỗ trợ:

    [✔] ngoặc

    [✔] số

    Biểu tượng [✔]

Ví dụ:

(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