KARNAUGH
Obtenção da expressão lógica a partir da saída da tabela verdade
É possível obter uma expressão lógica que resulte em determinada saída, utilizando
apenas a tabela verdade. Para facilitar este processo, algumas mudanças na simbologia
devem ser realizadas. Os operadores lógicos E, OU e Negação passam a ser
representados por suas operações algébricas correspondentes, conforme indicado na
tabela abaixo:
A+0=A
A+1=1
A+A=A
A+Ā=1
Propriedades da operação E:
A0=0
A1=A
AA=A
AĀ=0
Propriedade comutativa:
A+B=B+A
AB=BA
Propriedade Distributiva:
A (B + C) = A B + A C
Teorema de DeMorgan:
A B A B
A B AB
Por exemplo, consideremos que queremos um circuito lógico que apresente a saída
indicada na tabela a seguir:
A B C Saída (Y)
0 0 0 1
0 0 1 0
0 1 0 1
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
Primeiro, marcamos todas as linhas cujas saídas são verdadeiras (1), conforme já foi
feito na tabela. As linhas cujas saídas são falsas (0), serão desconsideradas.
Cada uma dessas linhas corresponderá ao conjunto das entradas (considerando a
negação da entrada, caso o valor da entrada na linha seja 0), ligadas pelo operador E.
Assim, temos:
Y A B C A B C A B C A B C A B C
Embora este método seja bastante simples, resulta em expressões lógicas muito grandes,
que quase sempre podem ser simplificadas. Uma forma de se obter uma expressão
lógica já bem mais reduzida é pelo uso dos Mapas de Karnaugh.
Mapa de Karnaugh
O método utiliza a tabela verdade de uma função booleana como base para as
simplificações. Um mapa de Karnaugh é uma ajuda excelente para simplificação de
funções de até 6 variáveis. Além disso, o mapa de Karnaugh permite descobrir a função
correspondente quando se conhece apenas a saída da mesma.
Exemplos:
A B ((A B) + A)
0 0 0
0 1 0
1 0 1
1 1 1
A B ((A B) + A) Linha
0 0 0 0
0 1 0 1
1 0 1 2
1 1 1 3
A
B 0 1
1
A seguir, numera-se cada quadrículo, de acordo com a associação dos valores das
variáveis:
A
B 0 1
0 2
1 3
1
A
B 0 1
0 2
0 0 1
1 3
1
0 1
É possível observar, pelo mapa de Karnaugh, que a função será sempre verdadeira
quando A for verdadeiro (1), e será sempre falsa quando A for falso (0),
independentemente do valor da variável B. Desta forma, podemos constatar que:
((A B) + A) A
A B ((A B) + (A + B))
0 0 0
0 1 1
1 0 1
1 1 1
A
B 0 1
A seguir, numera-se cada quadrículo, de acordo com a associação dos valores das
variáveis:
A
B 0 1
0 2
1 3
1
A
B 0 1
0 2
0 0 1
1 3
1
1 1
É possível observar, pelo mapa de Karnaugh, que a função será sempre verdadeira
quando A for verdadeiro (1), ou quando B for verdadeiro (1), sendo falsa apenas quando
ambos forem falsos. Assim, é possível constatar que
((A B) + (A + B)) (A + B)
Utilização do Mapa de Karnaugh (duas variáveis)
Exemplos:
A B ((A B) + A)
0 0 0
0 1 0
1 0 1
1 1 1
A B ((A B) + A) Linha
0 0 0 0
0 1 0 1
1 0 1 2
1 1 1 3
A
B 0 1
0 2
0 0 1
1 3
1
0 1
Pelas regras apresentadas, temos apenas A como saída, ou seja, a função é
((A B) + A) A
A B ((A B) + (A + B))
0 0 0
0 1 1
1 0 1
1 1 1
A
B 0 1
0 2
0 0 1
1 3
1
1 1
((A B) + (A + B)) A + A B
A
B 0 1
0 2
0 0 1
1 3
1
1 1
Neste caso, temos a expressão lógica A + B. è possível demonstrar, pela construção da
tabela verdade, que ambas as expressões possuem valores lógicos iguais. Extrapolando
tal raciocínio, podemos deduzir as seguintes leis de equivalência:
A AB A B
A AB A B
A A B A B
A A B A B
A B A B A B
A B A B A B
Bibliografia:
LOURENÇO, Antonio Carlos de, ET AL. Circuitos Digitais - Capítulo 3. São Paulo,
1996 - ESTUDE E USE - ÉRICA.