A função lógica OU ou OR representa a relação entre os bits de entrada e saída da seguinte forma:
S = A+B
Onde:
- S representa a saída da função;
- A e B representam os bits de entrada.
Esse expressão lê-se "S é igual a A ou B" ou "S é igual a A or B". Assim para determinar o número máximo de possibilidades de combinação entre A e B basta especificar o número de bits de entrada "n" da expressão:
N = 2n
Onde:
- N representa o número de combinações;
- n representa o número de bits de entrada.
Por exemplo, tem-se dois bits de entrada, N = 4, logo é comum expressar essas combinações nas populares "Tabelas Verdade" como a representada abaixo:
| A | B | S |
| 0 | 0 | 0 |
| 0 | 1 | 1 |
| 1 | 0 | 1 |
| 1 | 1 | 1 |
Os valores de saída não são ao acaso, esses valores representam os valores reais do resultado da função OU.
A interpretação lógica que se extrai dessa tabela verdade é: Se no "mínimo" uma das entradas for verdadeira ou esteja em nível lógico "1" a saída será verdadeira ou "1". É exatamente o que ocorre em circuitos elétricos/eletrônicos em paralelo.
A porta lógica OR ou OU, é a representação física da função lógica correspondente, ou seja, ela é projetada através de circuitos eletrônicos reais que possuem exatamente as mesmas saídas para os mesmos níveis lógicos de entrada da tabela verdade acima. Abaixo é mostrado o símbolo de uma porta lógica OU de duas entradas:
O vídeo abaixo mostra o funcionamento da porta lógica OU: