Boole Cebiri Hesaplayıcısı
Boole ifadelerini adım adım sadeleştirin
Hesaplayıcı, verilen Boole ifadesini mümkün olduğunda adım adım sadeleştirmeye/minimize etmeye çalışır. Değişme (komütatif) yasası, dağılım (distrübutif) yasası, baskın (sıfırlama, yok etme) yasası, özdeşlik yasası, değilleme yasası, çift değilleme (involüsyon) yasası, idempotentlik yasası, tümleme yasası, soğurma yasası, artıklık yasası ve de Morgan teoremini uygular. Tüm temel mantık operatörlerini destekler: değilleme (tümleme), ve (konjonksiyon), veya (disjonksiyon), nand (Sheffer çizgisi), nor (Peirce’in oku), xor (dışlayıcı disjonksiyon), implikasyon, implikasyonun tersi, nonimplikasyon (abjunction), nonimplikasyonun tersi, xnor (dışlayıcı nor, eşdeğerlik, bikondisyonel), tautoloji (T) ve çelişki (F).
Ayrıca disjunktif normal formu (DNF), konjunktif normal formu (CNF) ve negasyon normal formu (NNF) da bulur.
İlgili hesap makinesi: Doğruluk Tablosu Hesaplayıcısı