Math Logic Calculator

ریاضی منطق کالک شامل چند ویژگی است:

[✔] براکت های راست با موارد اولیه سفارش سفارش دهید

[✔] عبارات منطقی را ساده کنید

[✔] جدول حقیقت را بسازید

[✔] فرم عادی عبارت منطقی را جستجو کنید:

    * فرم نرمال ملتحمه (و فرم کامل)

    * فرم طبیعی منفجر کننده (و فرم کامل)

پشتیبانی از عملیات منطقی:

.اا

    - نفی منطقی

عبا

    - دلالت مواد

عبا

    - پیوند منطقی

عبا

    - اختلال منطقی

عبا

    - برابری منطقی

عبا

    - اختصاصی یا (XOR)

a | b

    - دروازه NAND

a ↓ b

    - منطقی 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 0 1 | a | b | c | 1 ↓ 0