|
|
|
|
|
|
|
|
|
|
|
|
Hesaplayıcılar - Ayrık Matematik
İhtiyacınız olan hesaplayıcıyı bulamadınız mı? Talep et
Doğruluk Tablosu Hesaplayıcısı
Hesaplayıcı, verilen mantık formülü/ifadesi için doğruluk tablosunu oluşturur. Tüm temel mantıksal bağlaçları destekler: değilleme (tümleme), and (konjonksiyon), or (disjonksiyon), nand (Sheffer çizgisi), nor (Peirce’in oku), xor (dışlayıcı disjonksiyon), implikasyon, implikasyonun tersi, nonimplikasyon (abjunksiyon), ters nonimplikasyon, xnor (dışlayıcı nor, eşdeğerlik, iki yönlü koşul), tautoloji (T) ve çelişki (F).
Boole Cebiri Hesaplayıcısı
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.
Kombinasyon ve Permütasyon Hesaplayıcısı
Hesaplayıcı, toplam nesne sayısı ve seçilecek nesne sayısı verildiğinde, tekrarlı/tekrarsız permütasyonların/kombinasyonların sayısını bulur. Ayrıca, adımlar gösterilerek, verilen listeden r-kombinasyonların (r-permütasyonların) listesini de oluşturur.