Álgebra Booleana, Revisão Portas Lógicas e Mapas de Karnaugh
Álgebra Booleana
-
Upload
tony-alexander-hild -
Category
Education
-
view
4.009 -
download
2
description
Transcript of Álgebra Booleana
Álbebra BooleanaÁlbebra BooleanaProf. Tony Alexander HildLógica Digital – 1 CC – Unicentro – 2013
2
Princípio da DualidadePrincípio da Dualidade
● Em álgebra Booleana a dualidade pode ser obtida trocando operadores · e + e substituindo 0s por 1s e vice-versa.
Exemplo:
(a · b) + c' = (a' + b') · c
3
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Postulado 1 – Operações:
A álgebra Booleana tem um conjunto K de 2 ou mais valores e duas operações · e +, de modo que para todo a, b pertencentes a K:
a · b ∈ K
a + b ∈ K● Postulado 2 – Valores Neutros:
Existem valores 0 e 1 tais que:
a + 0 = a
a · 1 = a
4
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Postulado 3 – comutatividade:
a + b = b + a
a · b = b · a● Postulado 4 – associatividade:
a + (b + c) = (a + b) + c
a · (b · c) = (a · b) · c● Postulado 5 – distributividade:
a + (b · c) = (a + b) · (a + c)
a · (b + c) = (a · b) + (a · c)
5
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Postulado 6 – existência de complemento:
Para todo a K, existe um e apenas um a' K, ∈ ∈chamado de complemento de a, tal que:
a + a' = 1
a · a' = 0
6
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 1 (Idempotência):
A soma ou o produto de um valor por ele mesmo é igual a ele mesmo.
a + a = a
a · a = a
____________________________
Prova
7
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 2 (Aniquilação):
a + 1 = 1
a · 0 = 0
____________________________
Prova
8
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 3 (Involução):
● Teorema 4 (Absorção):
a + (a · b) = a
a · (a + b) = a
____________________________
Prova
9
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 5:
a + a' · b = a + b
a · (a' + b) = a · b
____________________________
Prova
10
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 6 (Adjacência lógica):
a · b + a · b' = a
(a + b) · (a + b) = a
____________________________
Prova
11
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 7:
a · b + a · b' · c = a · b + a · c
(a + b) · (a + b + c) = (a + b) · (a + c)
____________________________
Prova
12
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 8 (Leis de DeMorgan):
(a + b)' = a' · b'
(a · b)' = a' + b'
____________________________
Prova
13
Postulados e Teoremas da Álgebra Postulados e Teoremas da Álgebra BooleanaBooleana
● Teorema 9 (Teorema do Consenso):
a · b + a' · c + b · c = a · b + a' · c
(a + b) · (a' + c) · (b + c) = (a + b) · (a' + c)
____________________________
Prova
14
Leis de DeMorganLeis de DeMorgan
15
Leis de DeMorganLeis de DeMorgan
16
Universalidade das portas NANDUniversalidade das portas NAND
17
Universalidade das portas NORUniversalidade das portas NOR
18
Resumo dos Postulados e TeoremasResumo dos Postulados e Teoremas
19
Postulados e Teoremas expressos por meio de Postulados e Teoremas expressos por meio de portas lógicasportas lógicas
20
Representação alternativaRepresentação alternativa
21
Exemplos de simplificaçõesExemplos de simplificações
22
Exemplos de simplificaçõesExemplos de simplificações
23
Exemplos de simplificaçõesExemplos de simplificações
24
Exemplos de simplificaçõesExemplos de simplificações
25
Exemplos de simplificaçõesExemplos de simplificações
26
Exemplos de simplificaçõesExemplos de simplificações
27
Mais exemplos de simplificaçõesMais exemplos de simplificações
28
Formas Canônica e PadrãoFormas Canônica e Padrão
● Precisamos considerar técnicas formais para a simplificação de funções booleanas.
– Funções idênticas terão exatamente a mesma forma canônica;
– Mintermos e maxtermos;– Soma dos mintermos e Produtos dos maxtermos;– Produto e soma de termos;– Soma de Produtos (SOP) e Produto de Somas (POS).
29
DefiniçõesDefinições
● Literal: Uma variável ou o seu complemento;● Termo Produto: literais conectados por ·;● Termo Soma: literais conectados por +;● Mintermo: um termo Produto em que todas as
variáveis aparecem exatamente uma vez, seja complementada ou não complementada;
● Maxtermo: um termo de Soma em que todas as variáveis aparecem exatamente uma vez, seja complementada ou não complementada.
30
MintermoMintermo
● Representa exatamente uma combinação na tabela verdade;
● Denotado por mj, onde j é o equivalente decimal dos mintermos correspondente à combinação binária (bj);
● Uma variável em mj é complementada se seu valor em bj for 0, caso contrário é não complementada;
● Exemplo: Dadas 3 variáveis (A,B,C), e j=3. Então, bj = 011 e seu mintermo correspondente é denotado por mj = A’BC.
31
MaxtermoMaxtermo
● Representa exatamente uma combinação na tabela verdade;
● Denotado por Mj, onde j é o equivalente decimal dos maxtermos correspondente à combinação binária (bj);
● Uma variável em Mj é complementada se seu valor em bj for 1, caso contrário é não complementada;
● Exemplo: Dadas 3 variáveis (A,B,C), e j=3. Então, bj = 011 e seu maxtermo correspondente é denotado por Mj = A+B'+C'.
32
Tabela verdade para a notação de Mintermos e Tabela verdade para a notação de Mintermos e MaxtermosMaxtermos
● Mintermos e Maxtermos são fáceis de denotar usando uma tabela verdade;
● Examplo: Assuma 3 variáveis A,B,C (com ordem fixa).
Decimal A B C f(A,B,C)
0 0 0 0 1
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 0
5 1 0 1 0
6 1 1 0 1
7 1 1 1 1
Mintermos Maxtermos m
0 = A'B'C' M
0 = A + B + C
m1 = A'B'C M
1 = A + B + C'
m2 = A'BC' M
2 = A + B' + C
m3 = A'BC M
3 = A + B' + C'
m4 = AB'C' M
4 = A' + B + C
m5 = AB'C M
5 = A' + B + C'
m6 = ABC' M
6 = A' + B' + C
m7 = ABC M
7 = A' + B' + C'
33
Formas Canônicas (Únicas)Formas Canônicas (Únicas)
● Qualquer função Booleana f( ) pode ser expressada como uma soma única de mintermos ou um produto único de maxtermos (sob uma ordem de variáveis fixa);
● Em outras palavras, toda função f( ) possui duas formas canônicas:
– Soma de Produtos Canônica (soma de mintermos);– Produto de Somas Canônico (produto de maxtermos).
34
Formas Canônicas (cont.)Formas Canônicas (cont.)
● Soma de Produtos Canônica:
– Os mintermos incluídos são os mj tal que f( ) = 1 na linha j da tabela verdade para f( ).
● Produto de Somas Canônico:
– Os maxtermos incluídos são os Mj tal que f( ) = 0 na linha j da tabela verdade para f( ).
35
ExemploExemplo
● Tabela verdade para f(A,B,C);
● A forma canônica de soma de produtos para f é:
– f(A,B,C) = m1 + m2 + m4 + m6 = A’B’C + A’BC’ + AB’C’ + ABC’
● A forma canônica de produto de somas para F é:
– f(A,B,C) = M0 · M3 · M5 · M7 = (A+B+C) · (A+B’+C’) · (A’+B+C’) · (A’+B’+C’)
● Observe que: mj = Mj’. A B C F0 0 0 0 01 0 0 1 12 0 1 0 13 0 1 1 04 1 0 0 15 1 0 1 06 1 1 0 17 1 1 1 0
36
Abreviatura: ∑ e ∏Abreviatura: ∑ e ∏
● f(A,B,C) = ∑ m(1,2,4,6), onde ∑ indica que é a forma Soma de Produtos, e m(1,2,4,6) indica que os mintermos que devem ser incluídos são m1, m2, m4, e m6.
● f(A,B,C) = ∏ M(0,3,5,7), onde ∏ indica que é a forma Produto de Somas, e M(0,3,5,7) indica que os maxtermos que devem ser incluídos são M0, M3, M5, e M7.
● Como mj = Mj’ para todo j, ∑ m(1,2,4,6) = ∏ M(0,3,5,7) = f(A,B,C)
37
Conversão entre Formas CanônicasConversão entre Formas Canônicas
● Substitua ∑ por ∏ (ou vice versa) e substitua os j’s que estão na forma original pelos que não estão.
● Example:f(A,B,C) = A’B’C + A’BC’ + AB’C’ + ABC’
= m1 + m2 + m4 + m6
= ∑(1,2,4,6)
= ∏(0,3,5,7) = (A+B+C)·(A+B’+C’)·(A’+B+C’)·(A’+B’+C’)
38
Formas Padrão (Não Únicas)Formas Padrão (Não Únicas)
● Formas Padrão são “como” Formas Canônicas, exceto que nem todas as variáveis precisam aparecer nos termos produto (SOP) ou soma (POS) individuais;
● Exemplo:f(A,B,C) = A’B’C + BC’ + AC’é uma forma padrão de soma de produtos.
● f(A,B,C) = (A+B+C)·(B’+C’)·(A’+C’)é uma forma padrão de produto de somas.
39
Conversão de SOP da forma padrão para a Conversão de SOP da forma padrão para a forma canônicaforma canônica
● Expanda os termos não-canônicos inserindo o equivalente a 1 em cada variável x ausente:(x + x’) = 1
● Remova os mintermos duplicados● f(A,B,C) = A’B’C + BC’ + AC’
= A’B’C + (A+A’)BC’ + A(B+B’)C’ = A’B’C + ABC’ + A’BC’ + ABC’ + AB’C’ = A’B’C + ABC’ + A’BC + AB’C’
40
Conversão de POS da forma padrão para a Conversão de POS da forma padrão para a forma canônicaforma canônica
● Expanda os termos não-canônicos adicionando 0 nos termos com variáveis faltantes (e.g., xx’ = 0) e use a lei distributiva.
● Remova os maxtermos duplicados.● f(A,B,C) = (A+B+C)·(B’+C’)·(A’+C’)
= (A+B+C)·(AA’+B’+C’)·(A’+BB’+C’) = (A+B+C)·(A+B’+C’)·(A’+B’+C’)·
(A’+B+C’)·(A’+B’+C’) = (A+B+C)·(A+B’+C’)·(A’+B’+C’)·(A’+B+C’)