Descrição de funções lógicas por meio de tabelas de verdade

Seja o problema de ``display'' digital que consiste em sete segmentos luminosos, como indica a Figura 1.2 seguinte.

Segmentos apropriados devem ser ligados ou acesos de acordo com uma entrada que é um dígito decimal codificado em forma binária, por 4 linhas $A, B, C$ e $D$. Isso pode ser representado pela tabela de verdade da Figura 1.3 Por exemplo, para as entradas $A=0, B=1, C=0$ e $D=0$ (correspondentes ao dígito decimal 4), os segmentos $b$, $c$, $f$ e $g$ devem ser ligados. Assim, na linha correspondente a $ABCD = 0100$, as saídas ou colunas $b$, $c$, $f$ e $g$ são iguais a 1.

Também podemos olhar a tabela de uma outra maneira. O segmento $e$, por exemplo, deve ser ligado quando a entrada é o número decimal 0, 2, 6 ou 8. Assim, a coluna correspondente a saída $e$ tem 1 exatamente nas linhas correspondentes as entradas 0, 2, 6 e 8.

Observe-se que neste caso queremos o ``display'' de um dígito decimal. Portanto a entrada deve ser um número decimal de 0 a 9 (ou na forma binária, de 0000 a 1001). A combinação 1100, por exemplo, nunca ocorre e para essa combinação, tanto faz a saída assumir 0 ou 1. Uma tabela completa teria 16 linhas (isto é, $2^4$ linhas), onde nas linhas 1010 até 1111 as saídas são geralmente marcadas como X (significando ``tanto faz'').