Consideremos uma função lógica de 4 variáveis e . A função fica dada se indicarmos todas aquelas combinações das 4 variáveis de entrada para as quais a saída é igual a 1. O diagrama de Veitch da Figura 1.4 apresenta 16 quadrados, cada um correspondendo a uma combinação das variáveis (no caso, 4 variáveis). Cada quadrado pode ser encarado como uma linha da tabela de verdade.
O quadrado 7 por exemplo, corresponde a e . Uma função
lógica pode então ser dada indicando quais os quadrados em que a
função assume valor 1.
A função F da Figura 1.5 (a) indica que ela assume valor 1 quando as entradas valem 5 ou 7.
A função da Figura 1.5 (b) assume 1 para as combinações 9, 11, 13 ou 15.
Visto desta forma, o diagrama de Veitch não é nada mais uma outra forma de
descrever funções lógicas. Vejamos agora como ele pode útil para
simplificar funções lógicas.
Tomemos novamente as funções e . Aplicando propriedades da Algebra Booleana, podemos escrever
O diagarama de Veitch pode ser usado para derivar essas simplificações diretamente. Vejamos a Figura 1.6
Em relação à variável , os 16 quadrados podem ser divididos em duas
partes: metade ``iluminada'' pelas ``luzes'' e metade não iluminada (ficando
na sombra). O mesmo pode ser pensado em relação às variáveis e
. O que queremos é caracterizar ou ``iluminar'' uma região correspondente a
determinada função de maneira mais simples.
A função , por exemplo, pode ser descrita pela interseção das regiões iluminadas por e . Vejam a Figura 1.7 (a).
A função , por sua vez, é a interseção das regiões iluminadas por e , e fica na sombra de . Vejam a Figura 1.7 (b).
Pode-se verificar que 2 quadrados adjacentes no diagrama de Veitch correspondem a um produto de 3 variáveis (complementadas ou não); 4 quadrados adjacentes correspondem a um produto de 2 variáveis. Aqui o significado de adjacência deve ser estendida para incluir lados opostos do diagrama. A Figura 1.8 contém alguns exemplos.
A Figura 1.9 contém mais exemplos sobre o uso do diagrama. Convém estudá-los com cuidado.
Voltando ao problema do ``display'' dos sete segmentos, vamos simplificar a equação para a saída . Ela é igual a 1 para as entradas 0, 2, 3, 5, 6 e 8. Para as combinações 10 até 15, tanto faz a saída ser 0 ou 1. Na Figura 1.10 isso é representado por um ``X''.
Na Figura 1.10, fizemos esses X's iguais a 0 ou 1, de maneira que mais convém à simplificação.