Math Logic Calculator

Math Logic Calc มีคุณสมบัติน้อย:

[✔] ลำดับวงเล็บปีกกาที่ถูกต้องกับค่าการดำเนินการ

[✔] ลดความซับซ้อนของการแสดงออกทางตรรกะ

[✔] สร้างตารางความจริง

[✔] ค้นหารูปแบบปกติของการแสดงออกเชิงตรรกะ:

    * รูปแบบปกติร่วมกัน (และรูปแบบที่สมบูรณ์แบบ)

    * รูปแบบปกติที่ไม่ต่อเนื่อง (และรูปแบบที่สมบูรณ์แบบ)

สนับสนุนการดำเนินงานเชิงตรรกะ:

ฌเฐ

    - การปฏิเสธเชิงตรรกะ

a⇒b

    - ความหมายของวัสดุ

a∧b

    - การรวมเชิงตรรกะ

a∨b

    - การแยกตรรกะ

a⇔b

    - ความเท่าเทียมกันเชิงตรรกะ

a⊕b

    - พิเศษหรือ (XOR)

a | b

    - เกต NAND

↓ข

    - Logical NOR (ลูกศรของเพียรซ)

และการสนับสนุน:

    [✔] วงเล็บ

    [✔] ตัวเลข

    [✔] สัญลักษณ์

ตัวอย่าง:

(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