Une table de vérité, pour les programmeurs, c'est une expression permettant d'indiquer un traitement logique ou binaire. En programmation, on utilise cette table lorsqu'on a effectué un test avec de multiples comparaisons pour un même choix. Ainsi, par exemple un programmeur utilisera «ET LOGIQUE» pour être certain qu'une partie de son programme soit exécuté selon les deux critères qu'il spécifiera. Voici un algorithme d'exemple démontrant cette idée :

On comprendra que grâce à la table de vérité, on peut savoir qu'il faut que les deux conditions : a >= 5 en plus de a <= 10 soit vrai pour être exécuté. Tous les autres cas ne seront pas acceptés : les deux conditions fausses, la première condition fausse et la deuxième vrai, la première condition vraie et la deuxième fausse. On s'assure ainsi que des instructions ne soient pas affichées dans des mauvaises situations. On représentera donc cette situation comme une «table de vérité ET» suivante :

Selon se même principe on peut s'assurer combiner deux situations dans lequel des instructions peuvent être exécuté. Avec un «OU LOGIQUE» :

On comprendra qu'à moins que les conditions sont fausses, il est impossibles d'exécuter les instructions. On représente cette situation par la «table de vérité OU» :

Les autres opérateurs (OU EXCLUSIF,...) de la table de vérité ont été inventés afin de couvrir toutes les situations possibles. Voici le tableau correspondant à la «table de vérité» ou toutes les vérités sont regroupées :