Doğruluk tablosu
Doğruluk tablosu, mantıkta, özellikle Boole cebiri ve Boole fonksiyonları ile ilişkili olarak, fonksiyon değişkenlerinin bütün kombinasyonları için mantıksal ifadenin değerini hesaplamakta kullanılan bir matematiksel tablo. Pratikte bir doğruluk tablosu, her giriş değişkeni için bir sütun (örneğin, A ve B) ve tabloda gösterilmek istenen mantıksal ifadenin, mümkün olan tüm çıkışlarını gösteren bir sütundan oluşur (örneğin, A XOR B). Doğruluk tablosunun her satırı, girdilerin muhtemel kombinasyonlarından birini (örneğin, A=doğru B=yanlış) ve fonksiyonun bu girdiler için doğruluk değerini içerir.