Mantık Hesaplayıcısı
Önermeler mantığı ve Boole cebiri için ücretsiz doğruluk tablosu üreteci. Her ifade için doğruluk tablosu, özellikler, eşdeğer biçimler, Karnaugh haritası ve devre şeması; her argüman için de anlamsal tablo ile bir kanıt. Hepsi tarayıcınızda.
Analiz etmek için mantıksal bir ifade girin (önerme mantığı, Boolean cebiri destekler)
Kılavuz
Örneğini hesap makinesinde denemek için bir işleci tıklayın. Her işleç, onu yazmanın tüm yollarını gösterir.
Adım adım mantık öğrenin
İlk önermenizden doğruluk tablolarına ve Boole cebirine, oradan da mantığın programlama, matematik ve felsefede nasıl kullanıldığına uzanan rehberli bir yol.
Alıştırmalar
Doğruluk tabloları, Boole cebiri, mantıksal denklikler ve ispatlar üzerine alıştırmalar çözün. İlerlemenizi izleyin ve uyarlanabilir çalışma oturumları yapın.
Doğruluk Tablosundan İfadeye
Herhangi bir doğruluk tablosunu mantıksal ifadeye dönüştürün. Özel doğruluk tablonuzdan Ayrık Normal Form (DNF) veya Birleşik Normal Form (CNF) Boolean formülleri oluşturun.
Hakkında
Önerme mantığı, Boolean cebir ve doğruluk tablosu oluşturma için kapsamlı bir eğitim aracı. Mantıksal ifadelerle çalışan öğrenciler ve profesyoneller için mükemmel.
İletişim ve Sorun Bildirme
Hata mı buldunuz veya geri bildiriminiz mi var? Sizden haber almak isteriz. Bize [email protected] adresinden e-posta gönderin. Sorular İngilizce olarak tercih edilir.
Sıkça Sorulan Sorular
Mantık Hesaplayıcı'nın kullanımıyla ilgili sık sorulan soruların yanıtları
Hesaplayıcı hangi mantıksal işleçleri destekler?
Hesaplayıcı tüm standart mantıksal işleçleri destekler: DEĞİL (¬, !), VE (&, ∧), VEYA (|, ∨), İSE (→, ->) ve ANCAK VE ANCAK (↔, <->). Bu işleçlerle karmaşık mantıksal ifadeler kurabilirsiniz.
∧ ve → gibi simgeleri sıradan bir klavyede nasıl yazarım?
Yazmanıza gerek yok. Her simgenin hesaplayıcının anladığı bir ASCII karşılığı var: ∧ için &, ∨ için |, ¬ için ! veya ~, → için -> ve ↔ için <->. ⊤ ve ⊥ sabitleri true ve false ya da T ve F olarak yazılabilir. Simgelerin kendisini tercih ediyorsanız, giriş alanının altındaki işleç klavyesi bunları sizin için ekler.
İki mantıksal ifadenin eşdeğer olup olmadığını kontrol edebilir miyim?
Evet! İki ifadeyi '==' ile ayırarak eşdeğerlik kontrolünü kullanın ve mantıksal olarak eşdeğer olup olmadıklarını görün. Hesaplayıcı, eşdeğerliği doğrulamak için doğruluk tablolarını karşılaştırır.
Hesaplayıcı bir argümanın geçerli olup olmadığını kontrol edebilir mi?
Evet. Öncülleri virgülle ayırarak yazın, ardından bir çıkarım işareti ve sonra sonucu koyun; örneğin 'p, p -> q ⊨ q'. Çıkarım işareti |= veya |- olarak da yazılabilir. Hesaplayıcı sonucun izleyip izlemediğini, hangi öncüllerin gerçekten gerekli olduğunu, öncüllerin hepsinin aynı anda doğru olup olamayacağını bildirir; argüman geçersizse her öncülü doğru, sonucu yanlış yapan karşı modelleri gösterir.
'Sağlanabilir' ve 'geçerli' ne demek?
Sağlanabilir bir ifade, doğruluk değerlerinin en az bir atamasında doğru yapılabilir. Geçerli bir ifade (totoloji) ise tüm olası atamalarda doğrudur. Hesaplayıcı ifadeleriniz için her iki özelliği de otomatik olarak denetler.
Veri
Geçmişinizi saklamak için yerel depolamayı kullanıyoruz. Bu verileri silmek istiyorsanız aşağıdaki düğmeyi kullanın.