No que diz respeito à programação de computadores, os operadores lógicos AND e OR são bastante utilizados na construção de algoritmos e codificação das linguagens. Sendo p e q duas proposições que podem assumir os valores lógicos FALSO e VERDADEIRO, as tabelas-verdade que correspondem às operações (p AND q) e (p OR q) são, respectivamente: