Você está na página 1de 51

lgebra de Boole e Simplicao de Circuitos Lgicos

Faculdade de Engenharia Eltrica


Universidade Federal de Uberlndia
06 de maio de 2014
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 1 / 39
Contedo da Aula
Soma dos Produtos;
Produto das Somas;
Simplicao de Circuitos
Postulados
Propriedades
Teorema de Morgan
Identidades Auxiliares
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 2 / 39
Soma dos Produtos e Produto das Somas
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
4
Teorema de Morgan para Simplicao de Circuitos
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 3 / 39
Soma dos Produtos e Produto das Somas
Soma dos Produtos
Forma padro de representao de funes Booleanas, constitudas pela
operao lgica OU, sobre um conjunto de termos formados pela
operao E.
S =AB+AC+

DF
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 4 / 39
Soma dos Produtos e Produto das Somas
Produto das Somas
Forma padro de representao de funes Booleanas, caracterizadas
pela aplicao da operao E sobre um conjunto de operaes OU sobre
as entradas.
S = (A+B).(A+C).(

D+F)
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 5 / 39
Simplicao de Circuitos Lgicos
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
4
Teorema de Morgan para Simplicao de Circuitos
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 6 / 39
Simplicao de Circuitos Lgicos
Simplicao de Circuitos
At o momento, os circuitos lgicos foram tratados sem a preocupao
da simplicao;
Na prtica, a simplicao visa a reduo da quantidade de portas
lgicas utilizadas;
Atravs do estudo da lgebra de Boole, de suas propriedades,
postulados, teoremas fundamentais e identidades, so obtidas
expresses simplicadas que so equivalentes as expresses originais,
antes de serem simplicadas;
Na lgebra de Boole esto todos os fundamentos da Eletrnica
Digital.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 7 / 39
Simplicao de Circuitos Lgicos
Simplicao de Circuitos
At o momento, os circuitos lgicos foram tratados sem a preocupao
da simplicao;
Na prtica, a simplicao visa a reduo da quantidade de portas
lgicas utilizadas;
Atravs do estudo da lgebra de Boole, de suas propriedades,
postulados, teoremas fundamentais e identidades, so obtidas
expresses simplicadas que so equivalentes as expresses originais,
antes de serem simplicadas;
Na lgebra de Boole esto todos os fundamentos da Eletrnica
Digital.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 7 / 39
Postulados e Propriedades Algbricas
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
4
Teorema de Morgan para Simplicao de Circuitos
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 8 / 39
Postulados e Propriedades Algbricas Postulados
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
Postulados
Propriedades
4
Teorema de Morgan para Simplicao de Circuitos
Identidades Auxiliares
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 9 / 39
Postulados e Propriedades Algbricas Postulados
Postulados
Complementao;
Adio;
Multiplicao
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 10 / 39
Postulados e Propriedades Algbricas Postulados
Postulados de Complementao
Este postulado mostra as regras da complementao na lgebra
Booleana,

A o complemento de A:
1. Se A = 0 =

A = 1;
2. Se A = 1 =

A = 0;
Dessa forma estabelece-se a seguinte identidade:
A =A
Se A = 1, temos A = 0 e se A = 0, ento A = 1
O bloco que executa o postulado da complementao o INVERSOR;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 11 / 39
Postulados e Propriedades Algbricas Postulados
Postulados de Adio
Este postulado mostra as regras da adio dentro da lgebra Booleana.
1. 0+0 = 0;
2. 0+1 = 1;
3. 1+0 = 1;
4. 1+1 = 1;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 12 / 39
Postulados e Propriedades Algbricas Postulados
Postulados de Adio
Desta forma pode-se estabelecer as seguintes identidades:
1. A+0 =A;
2. A+1 = 1;
3. A+A =A;
4. A+

A = 1;
O bloco lgico que executa o postulado da adio o OU;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 13 / 39
Postulados e Propriedades Algbricas Postulados
Postulados de Multiplicao
Este postulado determina as regras da multiplicao booleana:
1. 0.0 = 0;
2. 0.1 = 0;
3. 1.0 = 0;
4. 1.1 = 1;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 14 / 39
Postulados e Propriedades Algbricas Postulados
Postulados de Multiplicao
Assim, pode-se estabelecer as seguintes identidades:
1. A.0 = 0;
2. A.1 =A;
3. A.A =A;
4. A.

A = 0;
O bloco lgico que executa o postulado da adio o E;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 15 / 39
Postulados e Propriedades Algbricas Propriedades
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
Postulados
Propriedades
4
Teorema de Morgan para Simplicao de Circuitos
Identidades Auxiliares
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 16 / 39
Postulados e Propriedades Algbricas Propriedades
Propriedades Algbricas
As propriedades algbricas so teis principalmente no manuseio e
simplicao de expresses e, consequentemente, de circuitos lgicos;
Propriedade Comutativa - Esta propriedade vlida na adio e na
multiplicao:
Adio: A+B =B+A
Multiplicao: A.B =B.A;
Propriedade Associativa - Esta propriedade vlida na adio e na
multiplicao:
Adio: A+(B+C) = (A+B) +C =A+B+C
Multiplicao: A.(B.C) = (A.B).C =A.B.C;
Leis associativas permitem agrupar as variveis em expresses AND ou
OR do modo que desejamos;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 17 / 39
Postulados e Propriedades Algbricas Propriedades
Propriedades Algbricas
Propriedade Distributiva
A.(B+C) =A.B+A.C - Isso pode ser observado pela tabela verdade;
Na lgebra booleana utilizam-se tambm os parnteses, colchetes e
chaves, nessa ordem, estabelecendo assim a hierarquia entre as
operaes.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 18 / 39
Postulados e Propriedades Algbricas Propriedades
Prioridades de Operaes
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 19 / 39
Teorema de Morgan para Simplicao de Circuitos
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
4
Teorema de Morgan para Simplicao de Circuitos
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 20 / 39
Teorema de Morgan para Simplicao de Circuitos
Teoremas de Morgan
So empregados para realizar simplicaes em expresses booleanas
e so utilizados ainda no desenvolvimento de circuitos digitais;
Primeiro Teorema
O complemento do produto igual soma dos complementos:
(A.B) =

A+

B
Pode ser estendido para mais de duas variveis:
(A.B.C.....N) =

A+

B+

C+... +

N
Exemplo na tabela verdade:
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 21 / 39
Teorema de Morgan para Simplicao de Circuitos
Teoremas de Morgan
So empregados para realizar simplicaes em expresses booleanas
e so utilizados ainda no desenvolvimento de circuitos digitais;
Segundo Teorema
O complemento da soma igual ao produto dos complementos:
Pode-se escrever da seguinte maneira: A+B =

A.

B
Pode ser estendido para mais de duas variveis:
(A+B+C+.. +N) =

A.

B.

C.....

N
Exemplo na tabela verdade:
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 22 / 39
Teorema de Morgan para Simplicao de Circuitos
Teoremas de Morgan
Primeiro Teorema
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 23 / 39
Teorema de Morgan para Simplicao de Circuitos
Teoremas de Morgan
Segundo Teorema
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 24 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
Postulados
Propriedades
4
Teorema de Morgan para Simplicao de Circuitos
Identidades Auxiliares
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 25 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Identidades Auxiliares
So teis para a simplicao de expresses:
1. A+(A.B) =A
2. (A+B).(A+C) =A+B.C
3. A+(

A.B) =A+B
4.

A+(A.B) =

A+B
5. (A+

B).B =A.B
6. (A.B) +(A.

B) =A
7. (A+B).(A+

B) =A
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 26 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Identidades Auxiliares
So teis para a simplicao de expresses:
1. A+A.B =A
Essa equao pode ser reescrita, usando a propriedade distributiva.
Assim, temos: A+AB =A(1+B)
Do postulado da soma, temos que (1+B) = 1
Assim, temos que A(1) =A
Dessa maneira obtemos: A+A.B =A
Pela tabela verdade:
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 27 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Identidades Auxiliares
So teis para a simplicao de expresses:
1. (A+B).(A+C) =A+B.C
Pela distributiva, temos: AA+AC+AB+BC
Pela identidade, temos que A.A =A, assim:
A+AC+AB+BC
Colocando A em evidncia, tempos: A(1+C+B), assim pela identidade
1+X = 1, temos:
A.1+BC
Pela identidade temos que A.1 =A, ento,
A+B.C.
(A+B).(A+C) =A+B.C
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 28 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Resumos
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 29 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Exemplos
1. z =

AB

C+

ABC+A

BC+AB

C
2. z =ABC+A

B.(

C)
3. z =ABC+A

C+A

B
4. z =A

C+A

BC+ABC
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 30 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Exemplos
1. z =

AB

C+

ABC+A

BC+AB

C
2. z =ABC+A

B.(

C)
3. z =ABC+A

C+A

B
4. z =A

C+A

BC+ABC
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 30 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Exemplos
1. z =

AB

C+

ABC+A

BC+AB

C
2. z =ABC+A

B.(

C)
3. z =ABC+A

C+A

B
4. z =A

C+A

BC+ABC
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 30 / 39
Teorema de Morgan para Simplicao de Circuitos Identidades Auxiliares
Exemplos
1. z =

AB

C+

ABC+A

BC+AB

C
2. z =ABC+A

B.(

C)
3. z =ABC+A

C+A

B
4. z =A

C+A

BC+ABC
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 30 / 39
Projetos com Circuitos
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
4
Teorema de Morgan para Simplicao de Circuitos
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 31 / 39
Projetos com Circuitos
Projetando Circuitos
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 32 / 39
Projetos com Circuitos
Projetando Circuitos
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 33 / 39
Projetos com Circuitos
Projetando Circuitos
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 34 / 39
Projetos com Circuitos
Procedimentos para projetos
Interprete o problema e construa a tabela-verdade para descrever o
funcionamento;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso de sada se possvel;
Implemente o circuito para a expresso nal.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 35 / 39
Projetos com Circuitos
Procedimentos para projetos
Interprete o problema e construa a tabela-verdade para descrever o
funcionamento;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso de sada se possvel;
Implemente o circuito para a expresso nal.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 35 / 39
Projetos com Circuitos
Procedimentos para projetos
Interprete o problema e construa a tabela-verdade para descrever o
funcionamento;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso de sada se possvel;
Implemente o circuito para a expresso nal.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 35 / 39
Projetos com Circuitos
Procedimentos para projetos
Interprete o problema e construa a tabela-verdade para descrever o
funcionamento;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso de sada se possvel;
Implemente o circuito para a expresso nal.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 35 / 39
Projetos com Circuitos
Procedimentos para projetos
Interprete o problema e construa a tabela-verdade para descrever o
funcionamento;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso de sada se possvel;
Implemente o circuito para a expresso nal.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 35 / 39
Projetos com Circuitos
Procedimentos para projetos - Exemplo
Exemplo 1
Projete um circuito lgico com trs entradas, A, B e C, cuja a sada ser nvel
ALTO apenas quando a maioria das entradas for nvel ALTO.
Construa a tabela-verdade;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 36 / 39
Projetos com Circuitos
Procedimentos para projetos - Exemplo
Exemplo 1
Projete um circuito lgico com trs entradas, A, B e C, cuja a sada ser nvel
ALTO apenas quando a maioria das entradas for nvel ALTO.
Construa a tabela-verdade;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 36 / 39
Projetos com Circuitos
Procedimentos para projetos - Exemplo
Exemplo 1
Projete um circuito lgico com trs entradas, A, B e C, cuja a sada ser nvel
ALTO apenas quando a maioria das entradas for nvel ALTO.
Construa a tabela-verdade;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 36 / 39
Projetos com Circuitos
Procedimentos para projetos - Exemplo
Exemplo 1
Projete um circuito lgico com trs entradas, A, B e C, cuja a sada ser nvel
ALTO apenas quando a maioria das entradas for nvel ALTO.
Construa a tabela-verdade;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 36 / 39
Projetos com Circuitos
Procedimentos para projetos - Exemplo
Exemplo 1
Projete um circuito lgico com trs entradas, A, B e C, cuja a sada ser nvel
ALTO apenas quando a maioria das entradas for nvel ALTO.
Construa a tabela-verdade;
Escreva o termo AND (produto) para cada caso em que a sada seja 1;
Escreva a expresso da soma-de-produtos para a sada;
Simplique a expresso.
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 36 / 39
Projetos com Circuitos
Procedimentos para projetos - Soluo do exemplo
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 37 / 39
Prxima Aula
Outline
1
Soma dos Produtos e Produto das Somas
2
Simplicao de Circuitos Lgicos
3
Postulados e Propriedades Algbricas
4
Teorema de Morgan para Simplicao de Circuitos
5
Projetos com Circuitos
6
Prxima Aula
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 38 / 39
Prxima Aula
Prxima Aula
Simplicao e Mapas de Karnaugh;
Entrega da lista de exerccio 1 e 2;
Lista de Exerccio disponvel no Moodle a partir do dia 07/05/2014;
Prof. Mrcio Cunha (UFU) www.ufu.br/ 06 de maio de 2014 39 / 39