Escolar Documentos
Profissional Documentos
Cultura Documentos
= . [ + ( + )]
Teorema de DeMorgan:
]
= [ +
= 1) e elemento neutro:
Elemento oposto ( +
=1=
Note que este exemplo mostra a importncia da simplificao e a consequente minimizao do
circuito, pois os resultados so idnticos aos assumidos pela varivel ; assim sendo, todo o circuito
inicial pode ser substitudo por um nico fio ligado varivel .
+ + ] + (
)
(c) = [
Obs.: para esta ltima questo, a seguinte extenso do teorema de DeMorgan ser til.
Sejam 1 , 2 , , variveis booleanas, operadas entre si pelo mesmo operador OR ou AND:
(1 + 2 + + ) ou (1 . 2 . . )
Neste caso, o teorema de DeMorgan pode ser aplicado, levando em considerao as 3 etapas:
1a Negar cada termo individualmente.
2a Trocar todos os operadores OR por operadores AND (e vice-versa).
3a Negar toda a expresso.
Assim:
1 + 2 + + =
1 .
.
2 .
1 + 2 + + = .
1 .
2 .
E de forma anloga:
1 . 2 . . =
1 +
2 + +
ou ainda:
1 . 2 . . =
1 +
2 + +
II. Seja a operao de XNOR (tambm conhecida como coincidncia), representada por
Prove que
=
III. Obtenha o circuito simplificado que executa a expresso
+ + )]
(
= () [( + ) +
2. Mapas de Karnaugh
At aqui foi visto a simplificao de expresses mediante a utilizao das propriedades algbricas.
Neste tpico ser tratada a simplificao de expresses por meio dos diagramas de Karnaugh. Estes
mapas ou diagramas permitem a simplificao de maneira mais rpida dos casos extrados de
tabelas-verdade, obtidas de situaes quaisquer. Sero estudados diagramas para 2, 3 e 4 variveis.
2.1 Diagrama de Karnaugh para 2 variveis
1 0
0 0
E de forma anloga, a expresso = representada pelo diagrama
0 0
0 1
Porm, note o caso em que uma mesma coluna possui o mesmo valor
0 1
0 1
Isto equivale expresso = + = ( + ) = , desta forma a varivel desaparece de .
0
0
1
1
0
1
0
1
0
1
1
0
A propriedade de uma linha ou coluna possuir o mesmo valor permanece. Alm disso, surge uma
nova propriedade de 4 clulas pertencerem mesma varivel, que neste caso especfico, ser a
varivel em evidncia. Por exemplo,
0 1 1 0
0 1 1 0
1 0 0 1
1 0 0 1
0
0
0
0
1
1
1
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
1
0
1
1
0
0
1
1
0
0
1
1
0
equivale expresso = .
E de forma semelhante, o seguinte diagrama
equivale expresso =
0
0
0
0
0
0
1
0
0
1
0
0
0
0
Seguindo esta linha de raciocnio, 2 clulas vizinhas contendo valores 1 , cercadas de clulas
contendo 0, correspondem uma expresso com 3 variveis. Por exemplo,
0
0
0
0
0
0
1
1
0
0
0
0
0
0
corresponde expresso =
Exerccio: minimize o circuito que executa a tabela
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0 0 0
0 1 1
1 0 0
1 1 1
0 0 1
0 1 1
1 0 1
1 1 1
0 0 0
0 1 0
1 0 1
1 1 0
0 0 0
0 1 0
1 0 0
1 1 1
6