Mantıkta doğruluk tablosu, bir mantık ifadesinin tüm olası durumlarını sistematik bir şekilde değerlendirmek için kullanılan bir yöntemdir. Doğruluk tablosunun her satırı, girdilerin muhtemel kombinasyonlarından birini ve fonksiyonun bu girdiler için doğruluk değerini içerir. Doğruluk tablosu oluştururken şu adımlar izlenir: Her giriş değişkeni için bir sütun oluşturulur (örneğin, A ve B). Tablonun her satırı, giriş değişkenlerinin olası kombinasyonlarını temsil eder. Fonksiyonun her kombinasyon için doğruluk değeri tabloya eklenir. Bazı mantık bağlaçlarının doğruluk tabloları: Veya (∨): En az biri doğru olduğunda sonuç doğrudur. Ve (∧): Her ikisi de doğruysa sonuç doğrudur. İse (⇒): Sadece "doğru → yanlış" olduğunda yanlış olur. Ancak ve Ancak (⇔): Her iki önerme aynı olduğunda doğrudur.