Her olasılığı tek tabloda gör
Mantık derslerinde, dijital devre tasarımında ya da karmaşık bir if koşulunu sınarken bir ifadenin hangi durumda doğru olduğunu görmenin en net yolu tablo kurmaktır. Doğruluk tablosu oluşturucu, yazdığın mantıksal ifadedeki değişkenleri bulur, her değişken için 0 ve 1 değerlerinin tüm kombinasyonlarını sıralar ve ifadenin sonucunu satır satır hesaplar. Ayrıca ifadenin türünü belirler: her satırda doğruysa totoloji, hiçbir satırda doğru değilse çelişki, aksi halde olumsal ifade.
İşleçleri birkaç biçimde yazabilirsin: değil için NOT, ! ya da ~; ve için AND, & ya da VE; veya için OR, | ya da VEYA. XOR, NAND, NOR, XNOR, “->” (ise) ve “” (ancak ve ancak) da desteklenir. Öncelik sırası NOT, AND, XOR, OR, ise ve ancak ve ancak şeklindedir; emin olmadığın yerde parantez kullanmak hatayı önler. Değişken adları tek harf olmak zorunda değildir; anlamlı kısa adlar kullanmak, uzun ifadeleri okurken işini kolaylaştırır.
Örnek: “(A AND B) -> C” ifadesinde üç değişken olduğu için tablo 2³ = 8 satırdan oluşur. “İse” bağlacı yalnızca öncül doğru, sonuç yanlış olduğunda yanlış verir; bu da A = 1, B = 1, C = 0 satırıdır. Yani 8 satırın 7’sinde sonuç 1 çıkar ve ifade olumsaldır.
Sık yapılan hata, “A -> B” ifadesinin A yanlışken de doğru olduğunu unutmaktır. Değişken sayısı arttıkça satırlar ikiye katlanır; 10 değişken 1024 satır demektir. Satırların ikili sayma düzenini sayı tabanı dönüştürücü ile görebilir, aynı işlemleri sayıların bitleri üzerinde bitwise işlem hesaplama aracıyla deneyebilirsin. Olası durum sayısı üzerine çalışıyorsan kombinasyon hesaplama da yardımcı olur.