Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
0 0 1 0 1 0 1 1 0
Teorema
Qualquer Iuno F pode ser representada por uma soma canonica de produtos que
incluem todos os mintermos correspondentes aos 1s da Iuno.
Exemplo do motor do limpa para-brisas.
F(C, S, P) M
5 6 7
C.S.P C.S.P C.S.P m m m m(5, 6, 7) =
23
Termos mximos ou maxtermos
- So somas que envolvem todas as variaveis de uma Iuno F e em que
cada variavel so aparece uma vez (directamente ou pelo seu
complemento).
- Notam-se por M
i
onde i e o inteiro correspondente a representao
binaria, obtida igualando cada variavel a 0 e o seu complemento a 1.
(A 0, A 1).
Produto cannico de somas
- E um produto de maxtermos no qual no ha dois maxtermos iguais.
- Representa-se por
s
P M = (lista de maxtermos da Iuno).
Teorema
Qualquer Iuno F pode ser representada por uma produto canonico de somas que
incluem todos os maxtermos correspondentes aos 0s da Iuno.
Exemplo do motor do limpa para-brisas.
F(C, S, P) M ( )
( ) ( ) ( ) ( )
C S P . C S P . C S P . C S P . C S P +
0 0 0 0 0 1 0 1 0 0 1 1 1 0 0
M(0, 1, 2, 3, 4)
Portanto M m(5, 6, 7)
M(0, 1, 2, 3, 4)
Teorema de Shannon
Mintermos e maxtermos permitem uma decomposio das expresses em sub-
-expresses dependentes de subconjuntos de variaveis
Uma Iuno F (X
n-1
, ..., X
0
) pode ser decomposta como
F (X
n-1
, ..., X
0
) X
i
.
F(X
n-1
, ., X
i1
, 1, X
i-1
, ., X
0
)
i
X
.
F(X
n-1
, ., X
i1
, 0, X
i-1
, ., X
0
)
ou da maneira dual
F (X
n-1
, ..., X
0
) |X
i
F(X
n-1
, ., X
i1
, 0, X
i-1
, ., X
0
)| .
. |
i
X
F(X
n-1
, ., X
i1
, 1, X
i-1
, ., X
0
)|
24
Se aplicarmos o teorema duas vezes, primeiro em relao a X
0
e depois em relao a
X
1
obtem-se:
F (X
n-1
, ..., X
0
) X
1
.X
0
.
F(X
n-1
, ., X
2
, 1, 1))
0
1
X X
.
F(X
n-1
, ., X
2
, 1, 0)
1
0
X X .
F(X
n-1
, ., X
2
, 0, 1))
1 0
X X
.
F(X
n-1
, ., X
2
, 0, 0)
Expandindo em relao a (X
k-1
, ..., X
0
) obtem-se:
F(X)
k
2 - 1
i k-1 0 n-1 k
i 0
m (X , ..., X ).F(X , ..., X , i)
i representa a atribuio de valores i (1 ou 0) as variaveis X
k-1
, ..., X
0
ou, por um procedimento dual
F(X)
k
2 - 1
i k-1 0 n-1 k
i 0
M (X , ..., X ) F(X , ..., X , i)
=
(
Exemplo.
Dada uma Iuno F(X
3
, X
2
, X
1
, X
0
), cuja tabela de verdade se apresenta a
seguir, determinar as expresses que decompem as variaveis em dois grupos.
Entradas Saida
X
3
X
2
X
1
X
0
F
0 0 0 0 0
0 0 0 1 0
0 0 1 0 1
0 0 1 1 1
0 1 0 0 1
0 1 0 1 0
0 1 1 0 1
0 1 1 1 0
1 0 0 0 1
1 0 0 1 0
1 0 1 0 1
1 0 1 1 0
1 1 0 0 0
1 1 0 1 1
1 1 1 0 1
1 1 1 1 0
3
3 2 1 0 i 1 0 3 2
i 0
F(X , X , X , X ) m (X , X ).F(X , X , i)
25
X
1
X
0
X
1
3 2 3 2 3 2
3 2 3 2
3 2
3 2 3 2
F(X , X , 0, 0) X .X X .X
F(X , X , 0, 1) X .X
F(X , X , 1, 0) 1
F(X , X , 1, 1) X .X
e
( )
3 2 1 0 1 0 3 2 3 2 1 0 3 2 1 0 1 0 3 2
F(X , X , X , X ) X .X X .X X .X X .X X .X X .X X .X X .X
3.6 MAPAS DE KARNAUGH
- Metodo graIico para representar uma tabela de verdade.
- Destaca as relaes entre as diversas variaveis.
- Permite simultaneamente simpliIicar a expresso logica.
3.6.1 Construo dos mapas de Karnaugh
- Constroi-se uma tabela com 2
n
quadrados ou celulas, correspondendo cada um a
uma combinao dos valores das variaveis (uma linha da tabela de verdade).
- Entre duas celulas adjacentes so pode variar 1 bit no valor das variaveis condio
de adjacncia.
Funo de 2 variveis, X
1
e X
0
O numero de combinaes possiveis das entradas e 2
2
4 4 celulas
Celulas numeradas de 0 a 3:
0 1
0
0
1
1
2
3
0 1
2
3
Exemplo.
X
0
X
1
0
1
0
0
1
1
0
1
2
1
3
0
X
0
linha onde X
1
toma o valor 1
coluna onde X
0
toma o valor 1
ou
1 0 0
0 1 1
0 1 0 2
F(X , X ) X .X X .X
ou F(X , X ) m m m(0, 2)
26
Funo de 3 variveis, X
2
, X
1
e X
0
O numero de combinaes possiveis das entradas e 2
3
8 8 celulas
Variaveis agrupadas 1 2 e celulas numeradas de 0 a 7:
X
1
X
0
X
2
0 0
0 1
1 1
1 0
0
0 1 3 2
1
4 5
7 6
X
0
0 1
3 2
X
2
4 5
7 6
X
1
A ordem em que aparecem os valores das variaveis no e a normal em vez da
sequncia 00 01 10 11 temos 00 01 11 10. Isto deve-se a condio de adjacncia
das celulas. Assim a celula 2 tem a posio trocada com a celula 3 e a 7 com a 6.
Exemplos.
1) F(X
2
, X
1
, X
0
) m(0, 2, 6) M(1, 3, 4, 5, 7)
X
0
0
1
1
0
3
0
2
1
X
2
4
0
5
0
7
0
6
1
X
1
2 1 0 2 0 0
2 1 0 1 2 1
F(X , X , X ) X X X X X X X X X
2) Caso do LPB:
P
0
0
1
0
3
0
2
0
C
4
0
5
1
7
1
6
1
S
ou
F m(5, 6, 7) C.S.P C.S.P C.S.P
27
Funo de 4 variveis, X
3
, X
2
, X
1
e X
0
O numero de combinaes possiveis das entradas e 2
4
16 16 celulas
Variaveis agrupadas duas a duas e celulas numeradas de 0 a 15:
X
1
X
0
X
3
X
2
0 0
0 1
1 1
1 0
0 0
0 1 3 2
0 1
4 5 7 6
1 1
12 13 15 14
1 0
8 9 11 10
X
0
0 1 3 2
4 5 7 6
12 13 15 14
X
2
X
3
8 9 11 10
X
1
Exemplo.
3 2 1 0
F(X , X , X , X ) m(0, 5, 7, 8, 9, 14, 15) M(1, 2, 3, 4, 6, 10, 11, 12, 13)
X
0
0
1
1
0
3
0
2
0
4
0
5
1
7
1
6
0
12
0
13
0
15
1
14
1
X
2
X
3
8
1
9
1
11
0
10
0
X
1
Casos em que a Iuno no esta deIinida para algumas combinaes das entradas - os
valores logicos das celulas correspondentes do mapa de Karnaugh so indeterminados
(celulas 'dc - 'don`t care em ingls).
Ou
3 2 1 0
3 2 1 0
3 1
2 0
3
2 1 0
0
3 2 1
F(X , X , X , X ) X X X X
X X X X
X X X X
X X X X
2 1 0
3
2 1
3 0
3 2 1 0
X X X X
X X X X
X X X X
28
0 0
1
1
2
2
3 3
X 0 ou X 1
X 0
X X
X 1
X 0 ou X 1
Exemplo de representao.
1) F(X
2
, X
1
, X
0
) m(0, 4,5) e d.c.(2,3)
X
0
0
1
1
0
3
X
2
X
X
2
4
1
5
1
7
0
6
0
X
1
X
0
ou
0
1
1
0
3
2
X
2
4
1
5
1
7
0
6
0
X
1
3.6.2 Obteno de expresses simplificadas
- Combinam-se as celulas adjacentes que tm 1`s em grupos.
O n de celulas de cada grupo e sempre igual a 2
k
(1, 2, 4, 8, ...).
- A expresso obtida e uma soma de produtos, correspondentes aos grupos, em
que cada um tem n - k Iactores (n n de variaveis da Iuno).
Exemplos de agrupamentos.
1)
X
0
0
0
1
0
3
0
2
1
4
1
5
1
7
0
6
1
12
1
13
1
15
0
14
0
X
2
X
3
8
0
9
0
11
0
10
1
X
1
(elimina-se X
0
e X
3
: 4 - 2 Iactores)
2 0 3 0 1
3 2 1 0 3 1 1 2
F(X , X , X , X ) X X X X X X X X X
0
1
2
2 2
3
3 0
1
X 0
X 1
(elimina-se X )
X 0 ou X 1
X 0
X .X .X
=
1
2 0
3 1
2
3
0
X 0
X 1
X X X X
X 0
X 1
29
2)
X
0
0
1
1
3
2
1
4
5
7
6
12
13
15
14
X
2
X
3
8
1
9
11
10
1
X
1
3)
X
0
0
1
1
3
1
2
4
1
5
7
6
1
12
1
13
15
14
1
X
2
X
3
8
9
1
11
1
10
X
1
2
0
X X
4)
X
0
0
1
1
3
1
2
4
5
1
7
1
6
12
13
1
15
1
14
X
2
X
3
8
9
1
11
1
10
X
1
Os cantos so adjacentes
neste caso, 1 grupo de 4
produto de 4 2 2 Iactores:
2 0 X X
Lados opostos so adjacentes
neste caso, 2 grupos de 4
0
2
X X
Grupo de 8 eliminam-se 3 variaveis:
X
0
30
5) Utilizao dos 'don`t care:
X
0
0
1
1
0
3
0
2
0
4
1
5
0
7
1
6
X
12
0
13
0
15
1
14
X
X
2
X
3
8
0
9
X
11
0
10
0
X
1
Nota: a adjacncia das celulas situadas nos lados e cantos do mapa de Karnaugh resulta do Iacto de
este provir da planiIicao de uma Iigura geometrica denominada toro, cuja Iorma e semelhante a
uma cmara de ar de um pneu.
Exemplos de aplicao.
1) Caso do motor do LPB
P
0
0
1
0
3
0
2
0
C
4
0
5
1
7
1
6
1
S
2)
2 1 0
F(X , X , X ) m(0, 1, 3, 5, 7)
X
0
0
1
1
1
3
1
2
0
X
2
4
0
5
1
7
1
6
0
X
1
Consideram-se os 'don`t care
(X`s) adjacentes aos 1`s como 1`s
para Iormar grupos maiores
X
2
X
1
F M C.S P.C C.(P S)
2 1
2 1 0 0
F(X , X , X ) X X X
31
3)
3 2 1 0
F(X , X , X , X ) m(0, 2, 5, 6, 7, 8, 10, 15)
X
0
0
1
1
0
3
0
2
1
4
0
5
1
7
1
6
1
12
0
13
0
15
1
14
0
X
2
X
3
8
1
9
0
11
0
10
1
X
1
4)
3 2 1 0
F(X , X , X , X ) m(2, 5, 8, 12, 14) e d.c.(0, 9, 11, 13, 15)
X
0
0
X
1
0
3
0
2
1
4
0
5
1
7
0
6
0
12
1
13
X
15
X
14
1
X
2
X
3
8
1
9
X
11
X
10
0
X
1
1 1 3 2 0
3 2 1 0 3 2 0
F(X , X , X , X ) X X X X X X X X
3.6.3 Funes com mais de 4 variveis
- 5 variaveis X
4
, X
3
, X
2
, X
1
, X
0
: 2
5
32 combinaes possiveis
Constroem-se 2 mapas parciais, cada um com 4 variaveis (X
3
, X
2
, X
1
, X
0
) um
para X
4
e outro para
4 X .
Os grupos nas mesmas posies, num e noutro mapa, consideram-se adjacentes.
- 6 variaveis X
5
, X
4
, X
3
, X
2
, X
1
, X
0
: 2
6
64 combinaes possiveis.
Constroem-se 4 mapas parciais, cada um com 4 variaveis (X
3
, X
2
, X
1
, X
0
)
dois para X
5
e dois para 5 X . Os mapas de X
5
so um para X
4
e outro para 4 X .
O mesmo para os mapas de 5 X
2 0 3
3 2 1 0 2 0
3
2 1 2 1 0
F(X , X , X , X ) X X X X X
X X X X X X