Önerme, doğru ya da yanlış kesin bir hüküm bildiren ifadedir. Mantık tabloları, önermelerin doğruluk değerlerini gösteren tablolardır. Bazı mantık tabloları ve özellikleri: Ve (∧) bağlacı: İki önermenin de doğru olması durumunda sonuç 1, diğer durumlarda 0 değerini alır. Veya (v) bağlacı: Önermelerden birinin doğru olması durumunda sonuç 1 değerini alır. Ya da (v) bağlacı: Önermelerden yalnızca birinin doğru olması durumunda 1 değerini alır. Koşullu (⇒) bağlaç: İlk önerme (p) doğru, ikinci önerme (q) yanlış olduğunda sonuç 0, diğer durumlarda 1 değerini alır.