Bir ikili işlevin olası tüm girdi ve çıktılarının gösterildiği tablodur. (bkz: truth table)
Mesela mantıksal bir operator olan OR işlemi üzerinden anlatırsak:
x V y nin doğruluk tablosu
--------------
x | y | x V y|
--------------
F | F | F |
T | F | T |
T | T | T |
F | T | T |
-------------- *
