aula 5: determinação e simplificação de expressões lógicas
TRANSCRIPT
![Page 1: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/1.jpg)
Aula 5: determinação e simplificação deexpressões lógicas
Circuitos Digitais
Rodrigo Hausen
CMCC – UFABC
4 e 6 de Fev. de 2013
http://compscinet.org/circuitos
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 1 / 21
![Page 2: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/2.jpg)
Aula passada: álgebra booleana
Álgebra booleana [Boole, 1854]Álgebra onde há apenas dois valores válidos: falso e verdadeiro.Também denotados:
I F e V;I false e true (ou F e T);I desligado e ligado;I 0 e 1, etc.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 2 / 21
![Page 3: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/3.jpg)
Aula passada: operações
Operaçõesconjunção (e, and): X · Ydisjunção (ou, or: X + Ynegação (não, not: Xdisjunção exclusiva (ou-ex, xor): X ⊕ Y = X · Y + X · Y
Tabelas verdade.
Tabela verdadeda conjunção (e)
X Y X · Y0 0 00 1 01 0 01 1 1
Tabela verdade dadisjunção (ou)
X Y X + Y0 0 00 1 11 0 11 1 1
Tabela verdade danegação (não)
X X0 11 0
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 3 / 21
![Page 4: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/4.jpg)
Aula passada: expressões e funções lógicas
Expressões lógicas:I 1+ (0 · 1)I X · Y + X · YI A + B · C + A · C + B
Funções lógicas: dadas por uma expressão ou tabela verdade
I
X Y F (X ,Y )0 0 00 1 11 0 01 1 1
I F (X ,Y ) = X · Y + X · Y
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 4 / 21
![Page 5: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/5.jpg)
Aula passada: regras básicas
1. X + 0 = Xelem. neutro da disjunção
2. X + 1 = 1 3. X + Y = Y + Xcomutatividade da disjunção
4. X · Y = Y · Xcomutatividade da conjunção
5. X + X = X 6. X + X = 1
7. X · 0 = 0 8. X · 1 = Xelem. neutro da conjunção
9. X · X = X
10. X · X = 0 11. X ⊕ X = 0
12. X + (Y + Z ) = (X + Y ) + Zassociatividade da disjunção
13. X ·(Y ·Z ) = (X ·Y )·Zassociatividade da conjunção
14. X · (Y + Z ) = X · Y + X · Z distributividade da conjunção
Leis de Morgan (ou Leis de DeMorgan)
15. X + Y = X · Y 16. X · Y = X + YRodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 5 / 21
![Page 6: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/6.jpg)
Um problema meteorológicoExemplo 1: O tempo para o dia seguinte na cidade de Booleville é bemregular e fácil de prever. O meteorologista da cidade criou uma tabela paraprever se haverá chuva no dia seguinte (representada pela variável C) apartir de quatro variáveis cujo valor depende das condições meteorológicasdo dia anterior.
V – se está ventandoF – se faz frioU – se está úmidoN – se está nublado
As quatro variáveis são medidas pelo meteorologista e ele atribui um valor0 (falso) ou 1 (verdadeiro) para cada uma delas.
Ou seja, C é função booleana de V , F , U e N:
C = C(V ,F ,U,N)
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 6 / 21
![Page 7: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/7.jpg)
Um problema meteorológicoExemplo 1: O tempo para o dia seguinte na cidade de Booleville é bemregular e fácil de prever. O meteorologista da cidade criou uma tabela paraprever se haverá chuva no dia seguinte (representada pela variável C) apartir de quatro variáveis cujo valor depende das condições meteorológicasdo dia anterior.
V – se está ventandoF – se faz frioU – se está úmidoN – se está nublado
As quatro variáveis são medidas pelo meteorologista e ele atribui um valor0 (falso) ou 1 (verdadeiro) para cada uma delas.
Ou seja, C é função booleana de V , F , U e N:
C = C(V ,F ,U,N)
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 6 / 21
![Page 8: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/8.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1
−→ V ·F ·U · N
0 1 0 0 00 1 0 1 1
−→ V ·F ·U · N
0 1 1 0 1
−→ V ·F ·U · N
0 1 1 1 1
−→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1
−→ V ·F ·U · N
1 0 1 0 1
−→ V ·F ·U · N
1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1
−→ V ·F ·U · N
1 1 1 1 1
−→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 9: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/9.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1
−→ V ·F ·U · N
0 1 1 0 1
−→ V ·F ·U · N
0 1 1 1 1
−→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1
−→ V ·F ·U · N
1 0 1 0 1
−→ V ·F ·U · N
1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1
−→ V ·F ·U · N
1 1 1 1 1
−→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 10: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/10.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1
−→ V ·F ·U · N
0 1 1 1 1
−→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1
−→ V ·F ·U · N
1 0 1 0 1
−→ V ·F ·U · N
1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1
−→ V ·F ·U · N
1 1 1 1 1
−→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 11: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/11.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1
−→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1
−→ V ·F ·U · N
1 0 1 0 1
−→ V ·F ·U · N
1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1
−→ V ·F ·U · N
1 1 1 1 1
−→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 12: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/12.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1 −→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1 −→ V ·F ·U · N1 0 1 0 1 −→ V ·F ·U · N1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1 −→ V ·F ·U · N1 1 1 1 1 −→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 13: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/13.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1 −→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1 −→ V ·F ·U · N1 0 1 0 1 −→ V ·F ·U · N1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1 −→ V ·F ·U · N1 1 1 1 1 −→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 14: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/14.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1 −→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1 −→ V ·F ·U · N1 0 1 0 1 −→ V ·F ·U · N1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1 −→ V ·F ·U · N1 1 1 1 1 −→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N + V ·F ·U · N +
V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 15: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/15.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1 −→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1 −→ V ·F ·U · N1 0 1 0 1 −→ V ·F ·U · N1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1 −→ V ·F ·U · N1 1 1 1 1 −→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 16: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/16.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1 −→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1 −→ V ·F ·U · N1 0 1 0 1 −→ V ·F ·U · N1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1 −→ V ·F ·U · N1 1 1 1 1 −→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 17: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/17.jpg)
De tabela verdade para expressão lógicaPrevisão do tempo em Booleville: C (chuva amanhã) função lógica deV (vento hoje), F (frio hoje), U (dia úmido hoje) e N (nublado hoje).
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 1 −→ V ·F ·U · N0 1 0 0 00 1 0 1 1 −→ V ·F ·U · N0 1 1 0 1 −→ V ·F ·U · N0 1 1 1 1 −→ V ·F ·U · N
V F U N C1 0 0 0 01 0 0 1 1 −→ V ·F ·U · N1 0 1 0 1 −→ V ·F ·U · N1 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 1 −→ V ·F ·U · N1 1 1 1 1 −→ V ·F ·U · N
C(V ,F ,U,N) = V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N +
+ V ·F ·U · N + V ·F ·U · N + V ·F ·U · N + V ·F ·U · N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 7 / 21
![Page 18: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/18.jpg)
De tabela verdade para expressão lógicaPara facilitar a escrita, quando escrevemos uma conjunção, podemosconsiderar que o sinal “·” está implícito, como fazemos na álgebra comum.
C(V ,F ,U,N) = V F U N + V F U N + V F U N + V F U N +
+ V F U N + V F U N + V F U N + V F U N
Vamos simplificar essa expressão. Colocando em evidência:
C(V ,F ,U,N) = V N (F U + F U) + V F U (N + N) +
+ V F (U N + U N) + V F N (U + U)
Usando a definição do xor X ⊕ Y = X Y + X Y e as regras X + X = 1 eX · 1 = X :
C(V ,F ,U,N) = V N (F ⊕ U) + V F U + V F (U ⊕ N) + V F N
Poderíamos continuar a simplificação. Note que nem sempre é fácilsimplificar, e que outras expressões (equivalentes) são possíveis.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 8 / 21
![Page 19: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/19.jpg)
De tabela verdade para expressão lógicaPara facilitar a escrita, quando escrevemos uma conjunção, podemosconsiderar que o sinal “·” está implícito, como fazemos na álgebra comum.
C(V ,F ,U,N) = V F U N + V F U N + V F U N + V F U N +
+ V F U N + V F U N + V F U N + V F U N
Vamos simplificar essa expressão. Colocando em evidência:
C(V ,F ,U,N) = V N (F U + F U) + V F U (N + N) +
+ V F (U N + U N) + V F N (U + U)
Usando a definição do xor X ⊕ Y = X Y + X Y e as regras X + X = 1 eX · 1 = X :
C(V ,F ,U,N) = V N (F ⊕ U) + V F U + V F (U ⊕ N) + V F N
Poderíamos continuar a simplificação. Note que nem sempre é fácilsimplificar, e que outras expressões (equivalentes) são possíveis.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 8 / 21
![Page 20: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/20.jpg)
De tabela verdade para expressão lógicaPara facilitar a escrita, quando escrevemos uma conjunção, podemosconsiderar que o sinal “·” está implícito, como fazemos na álgebra comum.
C(V ,F ,U,N) = V F U N + V F U N + V F U N + V F U N +
+ V F U N + V F U N + V F U N + V F U N
Vamos simplificar essa expressão. Colocando em evidência:
C(V ,F ,U,N) = V N (F U + F U) + V F U (N + N) +
+ V F (U N + U N) + V F N (U + U)
Usando a definição do xor X ⊕ Y = X Y + X Y e as regras X + X = 1 eX · 1 = X :
C(V ,F ,U,N) = V N (F ⊕ U) + V F U + V F (U ⊕ N) + V F N
Poderíamos continuar a simplificação. Note que nem sempre é fácilsimplificar, e que outras expressões (equivalentes) são possíveis.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 8 / 21
![Page 21: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/21.jpg)
De tabela verdade para expressão lógicaPara facilitar a escrita, quando escrevemos uma conjunção, podemosconsiderar que o sinal “·” está implícito, como fazemos na álgebra comum.
C(V ,F ,U,N) = V F U N + V F U N + V F U N + V F U N +
+ V F U N + V F U N + V F U N + V F U N
Vamos simplificar essa expressão. Colocando em evidência:
C(V ,F ,U,N) = V N (F U + F U) + V F U (N + N) +
+ V F (U N + U N) + V F N (U + U)
Usando a definição do xor X ⊕ Y = X Y + X Y e as regras X + X = 1 eX · 1 = X :
C(V ,F ,U,N) = V N (F ⊕ U) + V F U + V F (U ⊕ N) + V F N
Poderíamos continuar a simplificação. Note que nem sempre é fácilsimplificar, e que outras expressões (equivalentes) são possíveis.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 8 / 21
![Page 22: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/22.jpg)
Observações sobre funções
Procedimento para transformar a tabela verdade de uma funçãoF (X1, X2, . . . , Xn) em expressão lógica:
PARA CADA linha da tabela onde F (X1, X2, . . . , Xn) = 1
escreva a conjunção Y1Y2 . . . Yn onde Yi =
{Xi se Xi = 1Xi se Xi = 0
faça a disjunção das conjunções obtidas
Cada uma das conjunções Y1Y2 . . . Yn é chamada produto de variáveis lógicas oumintermo.
Note que o procedimento funciona para qualquer função lógica e a expressãoobtida terá tabela verdade idêntica à da função original.
Teorema. Toda função lógica pode ser escrita como disjunção de mintermos(também chamada “soma de produtos” – SOP).Portanto, toda função lógica possui uma expressão que a define.
A forma de soma de produtos é uma forma padrão de representação deexpressões booleanas. Outra forma padrão é o produto de somas.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 9 / 21
![Page 23: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/23.jpg)
Observações sobre funções
Procedimento para transformar a tabela verdade de uma funçãoF (X1, X2, . . . , Xn) em expressão lógica:
PARA CADA linha da tabela onde F (X1, X2, . . . , Xn) = 1
escreva a conjunção Y1Y2 . . . Yn onde Yi =
{Xi se Xi = 1Xi se Xi = 0
faça a disjunção das conjunções obtidas
Cada uma das conjunções Y1Y2 . . . Yn é chamada produto de variáveis lógicas oumintermo.
Note que o procedimento funciona para qualquer função lógica e a expressãoobtida terá tabela verdade idêntica à da função original.
Teorema. Toda função lógica pode ser escrita como disjunção de mintermos(também chamada “soma de produtos” – SOP).Portanto, toda função lógica possui uma expressão que a define.
A forma de soma de produtos é uma forma padrão de representação deexpressões booleanas. Outra forma padrão é o produto de somas.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 9 / 21
![Page 24: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/24.jpg)
Observações sobre funções
Procedimento para transformar a tabela verdade de uma funçãoF (X1, X2, . . . , Xn) em expressão lógica:
PARA CADA linha da tabela onde F (X1, X2, . . . , Xn) = 1
escreva a conjunção Y1Y2 . . . Yn onde Yi =
{Xi se Xi = 1Xi se Xi = 0
faça a disjunção das conjunções obtidas
Cada uma das conjunções Y1Y2 . . . Yn é chamada produto de variáveis lógicas oumintermo.
Note que o procedimento funciona para qualquer função lógica e a expressãoobtida terá tabela verdade idêntica à da função original.
Teorema. Toda função lógica pode ser escrita como disjunção de mintermos(também chamada “soma de produtos” – SOP).Portanto, toda função lógica possui uma expressão que a define.
A forma de soma de produtos é uma forma padrão de representação deexpressões booleanas. Outra forma padrão é o produto de somas.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 9 / 21
![Page 25: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/25.jpg)
Observações sobre funções
Procedimento para transformar a tabela verdade de uma funçãoF (X1, X2, . . . , Xn) em expressão lógica:
PARA CADA linha da tabela onde F (X1, X2, . . . , Xn) = 1
escreva a conjunção Y1Y2 . . . Yn onde Yi =
{Xi se Xi = 1Xi se Xi = 0
faça a disjunção das conjunções obtidas
Cada uma das conjunções Y1Y2 . . . Yn é chamada produto de variáveis lógicas oumintermo.
Note que o procedimento funciona para qualquer função lógica e a expressãoobtida terá tabela verdade idêntica à da função original.
Teorema. Toda função lógica pode ser escrita como disjunção de mintermos(também chamada “soma de produtos” – SOP).Portanto, toda função lógica possui uma expressão que a define.
A forma de soma de produtos é uma forma padrão de representação deexpressões booleanas. Outra forma padrão é o produto de somas.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 9 / 21
![Page 26: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/26.jpg)
Simplificação na forma soma-de-produtos
É possível simplificar a expressão obtida para C mantendo-a comosoma-de-produtos?
Observe que:
V F U N + V F U N + V F U N + V F U N
= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= F U
Logo, temos uma expressão mais simples para C :
C = V F U N + V F U N + V F U N + V F U N + F U
Esta é a menor expressão como soma-de-produtos?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 10 / 21
![Page 27: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/27.jpg)
Simplificação na forma soma-de-produtos
É possível simplificar a expressão obtida para C mantendo-a comosoma-de-produtos?
Observe que:
V F U N + V F U N + V F U N + V F U N= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= F U
Logo, temos uma expressão mais simples para C :
C = V F U N + V F U N + V F U N + V F U N + F U
Esta é a menor expressão como soma-de-produtos?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 10 / 21
![Page 28: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/28.jpg)
Simplificação na forma soma-de-produtos
É possível simplificar a expressão obtida para C mantendo-a comosoma-de-produtos?
Observe que:
V F U N + V F U N + V F U N + V F U N= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= F U
Logo, temos uma expressão mais simples para C :
C = V F U N + V F U N + V F U N + V F U N + F U
Esta é a menor expressão como soma-de-produtos?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 10 / 21
![Page 29: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/29.jpg)
Simplificação na forma soma-de-produtos
É possível simplificar a expressão obtida para C mantendo-a comosoma-de-produtos?
Observe que:
V F U N + V F U N + V F U N + V F U N= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= F U
Logo, temos uma expressão mais simples para C :
C = V F U N + V F U N + V F U N + V F U N + F U
Esta é a menor expressão como soma-de-produtos?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 10 / 21
![Page 30: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/30.jpg)
Simplificação na forma soma-de-produtos
É possível simplificar a expressão obtida para C mantendo-a comosoma-de-produtos?
Observe que:
V F U N + V F U N + V F U N + V F U N= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= F U
Logo, temos uma expressão mais simples para C :
C = V F U N + V F U N + V F U N + V F U N + F U
Esta é a menor expressão como soma-de-produtos?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 10 / 21
![Page 31: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/31.jpg)
Simplificação na forma soma-de-produtos
É possível simplificar a expressão obtida para C mantendo-a comosoma-de-produtos?
Observe que:
V F U N + V F U N + V F U N + V F U N= F U [V N + V N + V N + V N]
= F U [V (N + N) + V (N + N)]
= F U [V + V ]
= F U
Logo, temos uma expressão mais simples para C :
C = V F U N + V F U N + V F U N + V F U N + F U
Esta é a menor expressão como soma-de-produtos?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 10 / 21
![Page 32: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/32.jpg)
Simplificação na forma soma-de-produtos
Observe que, quando temos algo do tipo:
. . . + A B + A B + . . .
em uma expressão na forma soma-de-produtos podemos colocar A emevidência:
. . . + A (B + B) + . . .
e simplificar por:. . . + A + . . .
Problema: como encontrar dois mintermos idênticos a menos de umamesma variável B, que aparece como B e B?
Solução: expresse a tabela verdade de forma que isso seja fácil deencontrar!
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 11 / 21
![Page 33: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/33.jpg)
Simplificação na forma soma-de-produtos
Observe que, quando temos algo do tipo:
. . . + A B + A B + . . .
em uma expressão na forma soma-de-produtos podemos colocar A emevidência:
. . . + A (B + B) + . . .
e simplificar por:. . . + A + . . .
Problema: como encontrar dois mintermos idênticos a menos de umamesma variável B, que aparece como B e B?
Solução: expresse a tabela verdade de forma que isso seja fácil deencontrar!
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 11 / 21
![Page 34: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/34.jpg)
Simplificação na forma soma-de-produtos
Observe que, quando temos algo do tipo:
. . . + A B + A B + . . .
em uma expressão na forma soma-de-produtos podemos colocar A emevidência:
. . . + A (B + B) + . . .
e simplificar por:. . . + A + . . .
Problema: como encontrar dois mintermos idênticos a menos de umamesma variável B, que aparece como B e B?
Solução: expresse a tabela verdade de forma que isso seja fácil deencontrar!
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 11 / 21
![Page 35: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/35.jpg)
Mapa de Karnaugh
TabelaVerdade:
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 10 1 0 0 00 1 0 1 10 1 1 0 10 1 1 1 1
V F U N C1 0 0 0 01 0 0 1 11 0 1 0 11 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 11 1 1 1 1
Mapa de Karnaugh:outra representaçãopara a tabela verdade
@@@VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 12 / 21
![Page 36: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/36.jpg)
Mapa de Karnaugh
TabelaVerdade:
V F U N C0 0 0 0 00 0 0 1 00 0 1 0 00 0 1 1 10 1 0 0 00 1 0 1 10 1 1 0 10 1 1 1 1
V F U N C1 0 0 0 01 0 0 1 11 0 1 0 11 0 1 1 01 1 0 0 01 1 0 1 01 1 1 0 11 1 1 1 1
Mapa de Karnaugh:outra representaçãopara a tabela verdade
@@@VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 12 / 21
![Page 37: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/37.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = V F U N+
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 38: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/38.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = V F U N+V F U N+
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 39: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/39.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = V F U+
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 40: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/40.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = V F U+V F U N+
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 41: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/41.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = V F U+V F U N+V F U N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 42: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/42.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = V F U+V F U +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 43: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/43.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 44: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/44.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F U N+
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 45: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/45.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F U N+V F U N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 46: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/46.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 47: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/47.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 48: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/48.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N + V U N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 49: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/49.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N + V U N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 50: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/50.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N + V U N + V U N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 51: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/51.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N + V U N + V U N +
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 52: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/52.jpg)
Mapa de Karnaugh
Representação em matriz para a tabela verade, onde em linhas oucolunas adjacentes apenas uma variável muda de 1 para 0 ouvice-versa.
VF
UN00 01 11 10
00 0 0 1 0
01 0 1 1 1
11 0 0 1 1
10 0 1 0 1
C = F U + V F N + V U N + V U N + V F U N
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 13 / 21
![Page 53: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/53.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
F (A,B,C ,D) = A B + A B
= (A + A)B = B
Será que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 54: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/54.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = A B + A B
= (A + A)B = B
Será que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 55: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/55.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = A B + A B
= (A + A)B = B
Será que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 56: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/56.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = A B + A B
= (A + A)B = BSerá que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 57: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/57.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = A B + A B = (A + A)B
= BSerá que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 58: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/58.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = A B + A B = (A + A)B = B
Será que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 59: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/59.jpg)
Mapa de Karnaugh
Exemplo 2: Simplifique
F (A,B,C ,D) = A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = A B + A B = (A + A)B = BSerá que poderíamos observar a última simplificação no mapa?
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 14 / 21
![Page 60: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/60.jpg)
Mapa de Karnaugh
Como a exigência é que apenas uma variável mude entre linhas/colunasadjacentes, poderíamos ter feito o mapa como:
1 1 1110
01 0 0 0 0
1 1 1
AB
CD00 01 11 10
00 1
011 0 0 0
A única variável que não mudou foi B, que permaneceu em 0, portantoF (A,B,C ,D) = B.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 15 / 21
![Page 61: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/61.jpg)
Mapa de Karnaugh
Como a exigência é que apenas uma variável mude entre linhas/colunasadjacentes, poderíamos ter feito o mapa como:
1 1 1110
01 0 0 0 0
1 1 1
AB
CD00 01 11 10
00 1
011 0 0 0
A única variável que não mudou foi B, que permaneceu em 0, portantoF (A,B,C ,D) = B.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 15 / 21
![Page 62: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/62.jpg)
Mapa de Karnaugh
Como a exigência é que apenas uma variável mude entre linhas/colunasadjacentes, poderíamos ter feito o mapa como:
1 1 1110
01 0 0 0 0
1 1 1
AB
CD00 01 11 10
00 1
011 0 0 0
A única variável que não mudou foi
B, que permaneceu em 0, portantoF (A,B,C ,D) = B.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 15 / 21
![Page 63: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/63.jpg)
Mapa de Karnaugh
Como a exigência é que apenas uma variável mude entre linhas/colunasadjacentes, poderíamos ter feito o mapa como:
1 1 1110
01 0 0 0 0
1 1 1
AB
CD00 01 11 10
00 1
011 0 0 0
A única variável que não mudou foi B, que permaneceu em 0
, portantoF (A,B,C ,D) = B.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 15 / 21
![Page 64: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/64.jpg)
Mapa de Karnaugh
Como a exigência é que apenas uma variável mude entre linhas/colunasadjacentes, poderíamos ter feito o mapa como:
1 1 1110
01 0 0 0 0
1 1 1
AB
CD00 01 11 10
00 1
011 0 0 0
A única variável que não mudou foi B, que permaneceu em 0, portantoF (A,B,C ,D) = B.
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 15 / 21
![Page 65: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/65.jpg)
Mapa de Karnaugh
Podemos ver essa simplificação diretamente no mapa original, seconsiderarmos que a última linha é adjacente à primeira linha, assimcomo a última coluna é adjacente à primeira coluna.
F (A,B,C ,D) = B
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 16 / 21
![Page 66: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/66.jpg)
Mapa de Karnaugh
Podemos ver essa simplificação diretamente no mapa original, seconsiderarmos que a última linha é adjacente à primeira linha, assimcomo a última coluna é adjacente à primeira coluna.
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = B
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 16 / 21
![Page 67: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/67.jpg)
Mapa de Karnaugh
Podemos ver essa simplificação diretamente no mapa original, seconsiderarmos que a última linha é adjacente à primeira linha, assimcomo a última coluna é adjacente à primeira coluna.
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = B
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 16 / 21
![Page 68: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/68.jpg)
Mapa de Karnaugh
Podemos ver essa simplificação diretamente no mapa original, seconsiderarmos que a última linha é adjacente à primeira linha, assimcomo a última coluna é adjacente à primeira coluna.
1 1 11
1 1 1
0
AB
CD00 01 11 10
00 1
01 0
11 0 0
10
0 0
0
0
F (A,B,C ,D) = B
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 16 / 21
![Page 69: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/69.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 70: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/70.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)
2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 71: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/71.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)
3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 72: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/72.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)
4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 73: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/73.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)
5 Retângulos com apenas 1 umImportante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 74: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/74.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 75: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/75.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.
3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 76: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/76.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)
4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 77: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/77.jpg)
Mapa de Karnaugh: como usarPara até 4 variáveis:
1. Expresse a tabela verdade como uma matriz, com no máximo duasvariáveis para as linhas/colunas. Em linhas adjacentes, apenas uma dasvariáveis muda (o mesmo vale para as colunas).Sugestão de rótulos para as linhas/colunas: 00, 01, 11, 10
2. Enquanto houver uma célula contendo 1 que não tiver sido agrupada,agrupe nesta ordem:
1 Retângulos com 16 uns (Obs.: se houver, então F = 1)2 Retângulos com 8 uns (2x4 ou 4x2)3 Retângulos com 4 uns (1x4, 4x1 ou 2x2)4 Retângulos com 2 uns (1x2 ou 2x1)5 Retângulos com apenas 1 um
Importante: a última linha/coluna é adjacente à primeira linha/coluna.3. Elimine grupos redundantes (se puder)4. Para cada grupo, escreva uma soma de produtos onde apenas as variáveisque não mudaram são representadas. Importante: Se, no grupo, umavariável X é mantida em 0, então escreva X .
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 17 / 21
![Page 78: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/78.jpg)
Mapa de Karnaugh: Exemplos
Exemplo 3: Simplifique F (A,B,C ,D),cuja tabela verdade é dada pelo mapade Karnaugh ao lado.
Resp.: F = A C + A B + A B D
0 0
0 0
1 1 11
1 1
0
AB
CD00 01 11 10
00 1 1
01
11 0 0
10
0
Exemplo 4: Simplifique A B C + A B C + A B C + A B C
Exemplo 5: Simplifique A B C + A B C + A B C + A B C
Exemplo 6: Simplifique A B C D + A B C D + A B C D + A B C D +A B C D + A B C D + A B C D + A B C D
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 18 / 21
![Page 79: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/79.jpg)
Mapa de Karnaugh: Exemplos
Exemplo 3: Simplifique F (A,B,C ,D),cuja tabela verdade é dada pelo mapade Karnaugh ao lado.
Resp.: F = A C + A B + A B D0 0
0 0
1 1 11
1 1
0
AB
CD00 01 11 10
00 1 1
01
11 0 0
10
0
Exemplo 4: Simplifique A B C + A B C + A B C + A B C
Exemplo 5: Simplifique A B C + A B C + A B C + A B C
Exemplo 6: Simplifique A B C D + A B C D + A B C D + A B C D +A B C D + A B C D + A B C D + A B C D
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 18 / 21
![Page 80: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/80.jpg)
Mapa de Karnaugh: Exemplos
Exemplo 3: Simplifique F (A,B,C ,D),cuja tabela verdade é dada pelo mapade Karnaugh ao lado.
Resp.: F = A C + A B + A B D0 0
0 0
1 1 11
1 1
0
AB
CD00 01 11 10
00 1 1
01
11 0 0
10
0
Exemplo 4: Simplifique A B C + A B C + A B C + A B C
Exemplo 5: Simplifique A B C + A B C + A B C + A B C
Exemplo 6: Simplifique A B C D + A B C D + A B C D + A B C D +A B C D + A B C D + A B C D + A B C D
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 18 / 21
![Page 81: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/81.jpg)
Mapa de Karnaugh: Exemplos
Exemplo 3: Simplifique F (A,B,C ,D),cuja tabela verdade é dada pelo mapade Karnaugh ao lado.
Resp.: F = A C + A B + A B D0 0
0 0
1 1 11
1 1
0
AB
CD00 01 11 10
00 1 1
01
11 0 0
10
0
Exemplo 4: Simplifique A B C + A B C + A B C + A B C
Exemplo 5: Simplifique A B C + A B C + A B C + A B C
Exemplo 6: Simplifique A B C D + A B C D + A B C D + A B C D +A B C D + A B C D + A B C D + A B C D
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 18 / 21
![Page 82: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/82.jpg)
Mapa de Karnaugh: Exemplos
Exemplo 3: Simplifique F (A,B,C ,D),cuja tabela verdade é dada pelo mapade Karnaugh ao lado.
Resp.: F = A C + A B + A B D0 0
0 0
1 1 11
1 1
0
AB
CD00 01 11 10
00 1 1
01
11 0 0
10
0
Exemplo 4: Simplifique A B C + A B C + A B C + A B C
Exemplo 5: Simplifique A B C + A B C + A B C + A B C
Exemplo 6: Simplifique A B C D + A B C D + A B C D + A B C D +A B C D + A B C D + A B C D + A B C D
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 18 / 21
![Page 83: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/83.jpg)
Mais de 4 variáveisÉ possível construir mapas de Karnaugh para mais de 4 variáveis, mas eles setornam difíceis de representar.
Para 6 variáveis, o mapa torna-se um cubo:
EF
00
01
11
10
AB
CD
Entre 4 e 30 (aprox.) variáveis, é possível executar o método deQuine-McCluskey, que é exato mas possui complexidade exponencial.Acima de 30 variáveis, há o minimizador Espresso, baseado em métodosheurísticos (não exato).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 19 / 21
![Page 84: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/84.jpg)
Mais de 4 variáveisÉ possível construir mapas de Karnaugh para mais de 4 variáveis, mas eles setornam difíceis de representar.
Para 6 variáveis, o mapa torna-se um cubo:
EF
00
01
11
10
AB
CD
Entre 4 e 30 (aprox.) variáveis, é possível executar o método deQuine-McCluskey, que é exato mas possui complexidade exponencial.Acima de 30 variáveis, há o minimizador Espresso, baseado em métodosheurísticos (não exato).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 19 / 21
![Page 85: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/85.jpg)
Mais de 4 variáveisÉ possível construir mapas de Karnaugh para mais de 4 variáveis, mas eles setornam difíceis de representar.
Para 6 variáveis, o mapa torna-se um cubo:
EF
00
01
11
10
AB
CD
Entre 4 e 30 (aprox.) variáveis, é possível executar o método deQuine-McCluskey, que é exato mas possui complexidade exponencial.
Acima de 30 variáveis, há o minimizador Espresso, baseado em métodosheurísticos (não exato).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 19 / 21
![Page 86: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/86.jpg)
Mais de 4 variáveisÉ possível construir mapas de Karnaugh para mais de 4 variáveis, mas eles setornam difíceis de representar.
Para 6 variáveis, o mapa torna-se um cubo:
EF
00
01
11
10
AB
CD
Entre 4 e 30 (aprox.) variáveis, é possível executar o método deQuine-McCluskey, que é exato mas possui complexidade exponencial.Acima de 30 variáveis, há o minimizador Espresso, baseado em métodosheurísticos (não exato).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 19 / 21
![Page 87: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/87.jpg)
Conclusão
O mapa de Karnaugh é um método de representar a tabela verdade deuma função lógica de tal modo que os termos de uma soma-de-produtosque podem ser simplificados estão sempre adjacentes.
Importante: Recomenda-se colocar as linhas/colunas nesta ordem:00, 01, 11, 10. Sempre troque apenas uma variável a cada linha/coluna.
Mapas de Karnaugh são fáceis de se usar para até 4 variáveis. Para 5 e 6variáveis, é possível:
Simplificar algebricamente, até obtermos 4 variáveis, e depois usar omapa de Karnaugh.
I Exemplo: simplifique A B C D E + A B C D E + A B C D E +A B C D E + A B C D E + A B C D E + A B C D E + A B C D E
Ou usar mapas de Karnaugh tridimensionais.
A partir de 4 variáveis, costuma ser mais vantajoso usar outros métodos(Quine-McCluskey ou Espresso).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 20 / 21
![Page 88: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/88.jpg)
Conclusão
O mapa de Karnaugh é um método de representar a tabela verdade deuma função lógica de tal modo que os termos de uma soma-de-produtosque podem ser simplificados estão sempre adjacentes.
Importante: Recomenda-se colocar as linhas/colunas nesta ordem:00, 01, 11, 10. Sempre troque apenas uma variável a cada linha/coluna.
Mapas de Karnaugh são fáceis de se usar para até 4 variáveis.
Para 5 e 6variáveis, é possível:
Simplificar algebricamente, até obtermos 4 variáveis, e depois usar omapa de Karnaugh.
I Exemplo: simplifique A B C D E + A B C D E + A B C D E +A B C D E + A B C D E + A B C D E + A B C D E + A B C D E
Ou usar mapas de Karnaugh tridimensionais.
A partir de 4 variáveis, costuma ser mais vantajoso usar outros métodos(Quine-McCluskey ou Espresso).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 20 / 21
![Page 89: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/89.jpg)
Conclusão
O mapa de Karnaugh é um método de representar a tabela verdade deuma função lógica de tal modo que os termos de uma soma-de-produtosque podem ser simplificados estão sempre adjacentes.
Importante: Recomenda-se colocar as linhas/colunas nesta ordem:00, 01, 11, 10. Sempre troque apenas uma variável a cada linha/coluna.
Mapas de Karnaugh são fáceis de se usar para até 4 variáveis. Para 5 e 6variáveis, é possível:
Simplificar algebricamente, até obtermos 4 variáveis, e depois usar omapa de Karnaugh.
I Exemplo: simplifique A B C D E + A B C D E + A B C D E +A B C D E + A B C D E + A B C D E + A B C D E + A B C D E
Ou usar mapas de Karnaugh tridimensionais.
A partir de 4 variáveis, costuma ser mais vantajoso usar outros métodos(Quine-McCluskey ou Espresso).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 20 / 21
![Page 90: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/90.jpg)
Conclusão
O mapa de Karnaugh é um método de representar a tabela verdade deuma função lógica de tal modo que os termos de uma soma-de-produtosque podem ser simplificados estão sempre adjacentes.
Importante: Recomenda-se colocar as linhas/colunas nesta ordem:00, 01, 11, 10. Sempre troque apenas uma variável a cada linha/coluna.
Mapas de Karnaugh são fáceis de se usar para até 4 variáveis. Para 5 e 6variáveis, é possível:
Simplificar algebricamente, até obtermos 4 variáveis, e depois usar omapa de Karnaugh.
I Exemplo: simplifique A B C D E + A B C D E + A B C D E +A B C D E + A B C D E + A B C D E + A B C D E + A B C D E
Ou usar mapas de Karnaugh tridimensionais.
A partir de 4 variáveis, costuma ser mais vantajoso usar outros métodos(Quine-McCluskey ou Espresso).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 20 / 21
![Page 91: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/91.jpg)
Conclusão
O mapa de Karnaugh é um método de representar a tabela verdade deuma função lógica de tal modo que os termos de uma soma-de-produtosque podem ser simplificados estão sempre adjacentes.
Importante: Recomenda-se colocar as linhas/colunas nesta ordem:00, 01, 11, 10. Sempre troque apenas uma variável a cada linha/coluna.
Mapas de Karnaugh são fáceis de se usar para até 4 variáveis. Para 5 e 6variáveis, é possível:
Simplificar algebricamente, até obtermos 4 variáveis, e depois usar omapa de Karnaugh.
I Exemplo: simplifique A B C D E + A B C D E + A B C D E +A B C D E + A B C D E + A B C D E + A B C D E + A B C D E
Ou usar mapas de Karnaugh tridimensionais.
A partir de 4 variáveis, costuma ser mais vantajoso usar outros métodos(Quine-McCluskey ou Espresso).
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 20 / 21
![Page 92: Aula 5: determinação e simplificação de expressões lógicas](https://reader034.vdocuments.net/reader034/viewer/2022051404/5870bbba1a28ab64358be6ce/html5/thumbnails/92.jpg)
Para casa:
Ler seções 4-6, 4-7, 4-8, 4-9 e o final do capítulo intitulado“Aplicações em sistemas digitais” (desprezar os comentários ediagramas sobre portas lógicas; nós veremos portas lógicas na próximaaula).Exercícios recomendados:
I Autotestes: 12 a 16I Problemas: 21 a 44
Rodrigo Hausen (CMCC – UFABC) Aula 5: determinação e simplificação de expressões lógicas4 e 6 de Fev. de 2013 21 / 21