(¬(A∧B)↔(¬A∨¬B)) için doğruluk tablosu

Mantıksal ifadenizi hesaplayıcının giriş alanına yazıp hesapla düğmesine tıklamanız yeterli. Doğruluk tablosu otomatik olarak üretilir ve değişken değerlerinin tüm olası birleşimlerini ve ifadenizin bunlara karşılık gelen sonucunu gösterir.

Değişkenler alfabetik sırayla listelenir ve satırlar bütün atamaları 'hepsi yanlış'tan başlayarak sayar; en hızlı değişen ilk değişkendir, dolayısıyla son satır bütün değişkenlerin doğru olduğu satırdır. Ders kitapları bu konuda ayrışır — birçoğu 'hepsi doğru'dan başlar — bu yüzden satırlar ders notlarınızdakinden farklı bir sırada görünebilir; tablo yine de tam olarak aynı şeyi söyler.

İkinin, farklı değişken sayısı kadar kuvveti: üç değişken sekiz satır, dört değişken on altı, on değişken 1.024 satır verir. Eklediğiniz her değişken tabloyu ikiye katlar; uzun bir formülü genellikle her satırı okumak yerine özelliklerinden ve eşdeğer biçimlerinden değerlendirmek bu yüzden daha kolaydır.

Evet. Doğruluk tablosundaki gösterim anahtarı, ⊤ ve ⊥ simgeleriyle 1 ve 0 rakamları arasında geçiş yapar ve seçiminiz bir sonraki ziyaretiniz için bu tarayıcıda hatırlanır.

Son sütuna bakın. Her satır doğruysa formül bir totolojidir; her satır yanlışsa bir çelişkidir; sütunda ikisi de varsa olumsaldır. Bir satır doğru olur olmaz sağlanabilirdir. Hesaplayıcı bütün bunları tablonun üstünde belirtir; yani sütun, sonucu çıkarmaktan çok denetlemek içindir.