Expressões lógicas são frequentemente utilizadas em linguagens de programação. Por exemplo, um comando if com a expressão ‘if not (A or B)’ pode ser reescrito, para quaisquer valores lógicos de A e B, com a expressão if