Escolar Documentos
Profissional Documentos
Cultura Documentos
Método de Karnaugh - I
uma função
A representação mínima depende do
Prof. Carlos Sêrro
critério utilizado
usaremos como critério: primeiro, o número de
termos na expressão; e segundo, o número de
literais nesses termos
Admite-se uma representação da função a
dois níveis, isto é numa das formas
normais
várias formas:
Prof. Carlos Sêrro
m A B C f
0 0 0 0 0
1 0 0 1 0
2 0 1 0 0
f = m7 + m6 + m4
3 0 1 1 0
f = ABC + ABC + AB C 4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 1
simplificada algebricamente
Prof. Carlos Sêrro
f = ABC + ABC + AB C
= ABC + ABC + ABC + AB C
= AB( C + C ) + AC ( B + B )
= AB + AC
m A B C f
0 0 0 0 0
Prof. Carlos Sêrro
1 0 0 1 0 f = ABC + ABC + AB C
2 0 1 0 0
= ABC + ABC + ABC + AB C
3 0 1 1 0
4 1 0 0 1
= AB( C + C ) + AC ( B + B )
5 1 0 1 0 = AB + AC
6 1 1 0 1
7 1 1 1 1
0 0 0 0 0
termo AB por manipulação algébrica:
entre elas só a variável C é que
1 0 0 1 0
varia, o que permitiu pôr AB em
2 0 1 0 0 evidência
3 0 1 1 0 As linhas 4 e 6 permitiram obter o
4 1 0 0 1 termo AC por manipulação algébrica:
5 1 0 1 0 entre elas só a variável B é que
varia, o que permitiu pôr AC em
6 1 1 0 1
evidência
7 1 1 1 1
0 0 0 0 0
1 0 0 1 0
função valha 1 e que
difiram apenas de uma
2 0 1 0 0
variável
3 0 1 1 0 No primeiro produto
4 1 0 0 1 associámos as linhas 6 e 7,
5 1 0 1 0 que diferem apenas na
6 1 1 0 1 variável C
7 1 1 1 1
No segundo associámos as
linhas 4 e 6, que diferem
apenas na variável B
aconteceu no primeiro
1 0 0 1 0
caso, que todas as
2 0 1 0 0 posições adjacentes
3 0 1 1 0 estivessem fisicamente
encostadas. Mas, com 3
4 1 0 0 1 variáveis, cada posição
5 1 0 1 0 tem sempre 3 posições
6 1 1 0 1
adjacentes e, na tabela, é
impossível colocar
7 1 1 1 1 fisicamente uma linha
“encostada” a outras três.
BC
A
00 01 11 10
0 1 3 2
0
4 5 7 6
1
1 A3 A1 P 1 A1 P A3
3 0 1 1 0
4 1 0 0 1
Prof. Carlos Sêrro
5 1 0 1 0
Aplicando o Mapa de Karnaugh à função
6 1 1 0 1
do exemplo anterior temos:
7 1 1 1 1
BC
A
BC 00 01 11 10 A C
A
00 01 11 10 0 0 0 0 0
0 1 3 2
0 F = A B + A C
1 1 0 1 1
4 5 7 6
1
A B
Num mapa de Karnaugh são válidas todas as associações entre 2
elementos adjacentes
Outubro de 2005 Sistemas Digitais 13
Adjacências e Mapas de Karnaugh
Outro exemplo de simplificação de uma função de 3 variáveis:
f = ∑ m( 0,2,4,5,6 ) ⇔ f = m0 + m2 + m4 + m5 + m6
Prof. João Paulo Carvalho
BC BC
A A BC
00 01 11 10 00 01 11 10
0 1 3 2
Prof. Carlos Sêrro
0 0 1 0 0 1
4 5 7 6 f = AB + BC + B C
1 1 1 1 0 1
AB
BC
Mas a expressão pode ser ainda mais simplificada:
C
f = AB + C BC
A 00 01 11 10
Esta simplificação adicional poderia ser retirada
0 1 0 0 1
directamente do mapa, pois verifica-se que os quatro
‘1s’ das pontas são adjacentes: entre eles só C é 1 1 1 0 1
constante
Outubro de 2005 Sistemas Digitais 14
Mapas de Karnaugh (4 variáveis)
O Mapa de Karnaugh foi apresentado para 3 variáveis mas em teoria
pode ser usado com qualquer número de variáveis
Na prática, com mais de 6 variáveis torna-se bastante difícil
existindo métodos mais adequados (que também assentam nos
Prof. João Paulo Carvalho
espelho imaginário:
00 01 11 10
0 1 3 2
00
4 5 7 6
01
12 13 15 14
11
8 9 11 10
10
Outubro de 2005 Sistemas Digitais 15
Mapas de Karnaugh (4 variáveis)
Preenchimento e agrupamentos válidos de mintermos em mapas de 4
variáveis – Exemplos:
00 01 11 10 f = ∑ m( 0,2,3,5,6,8,10,11)
0 1 3 2
Prof. João Paulo Carvalho
00 CD 00 01 11 10 São válidos os
AB
4 5 7 6 00 1 0 1 1 agrupamentos
01 de 21 até 24
Prof. Carlos Sêrro
ACD
01 0 1 0 1
12 13 15 14 quadrados
11 0
8 9 11 10
11 0 0 0
adjacentes
10 10 1 0 1 1
BC
f = ∑ m( 0,2,3,4,6,7,10,11,14,15)
BD ABCD
f = ∑ m( 0,1,4,5,10,11,13,15)
CD 00 01 11 10
CD 00 01 11 10 AB
AB
00 1 0 1 1
00 1 1 0 0
AC Agrupamentos de 2 n
01 1 0 1 1
01 1 1 0 0
BCD
quadrados correspondem
1
11 0 1 1 0 à eliminação de n literais 11 0 0 1
ACD
10 0 0 1 1
10 0 0 1 1
AD C
ABD ABC
Outubro de 2005 Sistemas Digitais 16
Método de Karnaugh
Exemplo: f = ∑ m(1,5,6,7,11,12,13,15)
CD CD
AB AB
00 01 11 10 00 01 11 10
À primeira vista pareceria intuitivo
00 0 1 0 0 00 0 1 0 0
começar a simplificação pelo
Prof. João Paulo Carvalho
10 0 0 1 0 10 0 0 1 0
Implicante:
Para funções das mesmas variáveis, diz-se que uma função F1 implica outra
F2, quando, para todas as configurações de entrada em que a função F1 vale 1,
Prof. João Paulo Carvalho
valor ‘1’ para todos os mintermos que constituem esse termo produto
(ou seja, qualquer mintermo, ou agrupamento de mintermos é um implicante da
função)
• Exemplos:
f(A,B,C) = Σm(0,1,4,6)
BC BC 00 01 11 10
00 01 11 10
A A
0 1 3 2 0 1 3 2
ABC 1 1 0 0
0 1 1 0 0 0
4 5 7 6 4 5 7 6
1 1 0 0 1 1 1 0 0 1
Implicante Primo:
Um termo produto diz-se um implicante primo CD 00 01 11 10
(IP) se a remoção de um qualquer literal desse AB
00 0 1 0 0
termo produto resulta num termo produto que não
Prof. João Paulo Carvalho
ACD
BD
10 0 0 1 0
(ou seja, um IP é um agrupamento válido de
mintermos que não pode ser alargado) ABC ACD
• Exemplos:
CD 00 01 11 10 CD 00 01 11 10 CD 00 01 11 10
AB AB AB
00 1 0 0 1 00 1 1 0 0 00 1 0 1 1
AC
ACD
01 0 1 0 1 01 1 1 0 0 01 1 0 1 1
BCD
11 0 0 1 0 11 0 1 1 0 11 0 0 1 1
ABCD ACD
10 1 0 0 1 10 0 0 1 1 10 0 0 1 1
• Exemplos:
Implicantes Primos Implicantes Primos
CD 00 01 11 10 CD 00 01 11 10
AB AB
00 0 1 0 0 00 1 1 0 0
ACD Implicantes Implicantes
01 0 1 1 1 Primos Essenciais 01 0 1 1 0 Primos Essenciais
ABC
0 CD 00 01 11 10 1 CD 00 01 11 10
11 1 1 1 11 0 0 1
BD AB AB
10 0 0 1 0 00 0 1 0 0 10 0 0 0 1 00 1 1 0 0
ABC ACD 01 0 1 1 1 01 0 1 1 0
Quadrado ou 11 1 1 1 0 11 0 0 1 1
mintermo 10 0 0 1 0 10 0 0 0 1
Essencial
Outubro de 2005 Sistemas Digitais 20
IPs e IPEs