1 sistemas digitais algebra de boole e simplificaÇÃo de circ. lÓgicos prof. josé bezerra de...

35
1 SISTEMAS DIGITAIS SISTEMAS DIGITAIS ALGEBRA DE BOOLE E ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Prof. José Bezerra de Menezes Filho Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA DA PARAÍBA

Upload: internet

Post on 18-Apr-2015

108 views

Category:

Documents


3 download

TRANSCRIPT

Page 1: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

1

SISTEMAS DIGITAISSISTEMAS DIGITAISALGEBRA DE BOOLE E ALGEBRA DE BOOLE E

SIMPLIFICAÇÃO DE CIRC. LÓGICOSSIMPLIFICAÇÃO DE CIRC. LÓGICOS

Prof. José Bezerra de Menezes Prof. José Bezerra de Menezes FilhoFilho

CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICACENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA

DA PARAÍBADA PARAÍBA

Page 2: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

2

PRINCÍPIOS DA ALGEBRA PRINCÍPIOS DA ALGEBRA BOOLEANABOOLEANA

• Componentes da Álgebra de Boole:Componentes da Álgebra de Boole:

Postulados;Postulados;

Propriedades;Propriedades;

Teoremas fundamentais;Teoremas fundamentais;

Identidade.Identidade.

• Variáveis Booleanas:Variáveis Booleanas:0 e 10 e 1

Page 3: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

3

POSTULADO DA POSTULADO DA COMPLEMENTAÇÃOCOMPLEMENTAÇÃO

Se A=0 A=1Se A=0 A=1

Se A=1 A=0Se A=1 A=0

Com base no postulado da Com base no postulado da complementação:complementação:

A=AA=A

Page 4: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

4

Identidade com inversorIdentidade com inversor

Page 5: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

5

POSTULADO DA ADIÇÃOPOSTULADO DA ADIÇÃO

• 0+0=00+0=0• 0+1=10+1=1• 1+0=11+0=1• 1+1=11+1=1

IDENTIDADES:IDENTIDADES:• A+0=AA+0=A

A=0 0+0=0, A=1 1+0=1A=0 0+0=0, A=1 1+0=1• A+1=1A+1=1

A=0 0+1=1, A=1 1+1=1A=0 0+1=1, A=1 1+1=1• A+A=AA+A=A

A=0 0+0=0, A=1 1+1=1A=0 0+0=0, A=1 1+1=1• A+A=1A+A=1

A=0 A=1 0+1=1A=0 A=1 0+1=1A=1 A=0 1+0=1A=1 A=0 1+0=1

Page 6: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

6

POSTULADOS DA POSTULADOS DA MULTIPLICAÇÃOMULTIPLICAÇÃO

• 0.0=00.0=0• 0.1=00.1=0• 1.0=01.0=0• 1.1=11.1=1

IDENTIDADES:• A.0=0A.0=0

A=0 0.0=0, A=1 1.0=0A=0 0.0=0, A=1 1.0=0• A.1=AA.1=A

A=0 0.1=0, A=1 1.1=1A=0 0.1=0, A=1 1.1=1• A.A=AA.A=A

A=0 0.0=0, A=1 1.1=1A=0 0.0=0, A=1 1.1=1• A.A=0A.A=0

A=0 A=1 0.1=0A=0 A=1 0.1=0A=1 A=0 1.0=0A=1 A=0 1.0=0

Page 7: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

7

PROPRIEDADES COMUTATIVA E PROPRIEDADES COMUTATIVA E ASSOCIATIVAASSOCIATIVA

Propriedade comutativaPropriedade comutativa

Adição:

A+B=B+A

Multiplicação:

A.B=B.A

Propriedade AssociativaPropriedade Associativa

Adição:Adição:

A+(B+C)=(A+B)+C=A+(B+C)=(A+B)+C=

A+B+CA+B+C

MultiplicaçãoMultiplicação

A.(B.C)=(A.B).C=A.(B.C)=(A.B).C=

A.B.CA.B.C

VÁLIDAS PARA ADIÇÃO E MULTIPLICAÇÃOVÁLIDAS PARA ADIÇÃO E MULTIPLICAÇÃO

Page 8: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

8

PROPRIEDADE DISTRIBUTIVA E PROPRIEDADE DISTRIBUTIVA E 1º TEOREMA DE DE MORGAN1º TEOREMA DE DE MORGAN

• Propriedade Propriedade distributivadistributiva

• A.(B+C)=A.B+A.C

Ex.:

A=1,B=1,C=0

1.(1+0) = 1+0=1

1.1+0.1 = 1+0=1

• 1º Teorema de De 1º Teorema de De MorganMorgan

• Complemento do produto é a soma dos complementos:

2 Elementos:

A.B= A + B

n Elementos:

A.B....N=A+B+...N

Page 9: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

9

2º TEOREMA DE DE MORGAN2º TEOREMA DE DE MORGAN

• O Complemento da soma é igual ao produto dos complementos:

2 elementos:

A+B=A.B

n elementos:

A+B+...N=A.B...N

Page 10: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

10

IDENTIDADES AUXILIARESIDENTIDADES AUXILIARES

• A+A.B=AA+A.B=AProva:Prova:A+A.B=A(1+B)=A.1=AA+A.B=A(1+B)=A.1=A

• (A+B).(A+C)=A+B.C(A+B).(A+C)=A+B.CProva:Prova:(A+B).(A+C)=A.A+A.C+B.A+B.C (A.A=A)(A+B).(A+C)=A.A+A.C+B.A+B.C (A.A=A)(A+B).(A+C)=A+A.C+B.A+B.C=A(1+B+C)(A+B).(A+C)=A+A.C+B.A+B.C=A(1+B+C)+B.C=A.1+B.C=A+B.C+B.C=A.1+B.C=A+B.C

Page 11: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

11

IDENTIDADE AUXILIARIDENTIDADE AUXILIARContinuaçãoContinuação

• A+AB=A+BA+AB=A+BProva:Prova:A+A.B=(A+A.B) utilizando 2º Teor. DMA+A.B=(A+A.B) utilizando 2º Teor. DM(A+A.B)=[A.(A+B)] utilizando 1º Teor. DM(A+A.B)=[A.(A+B)] utilizando 1º Teor. DM[A.(A+B)]=(A.A+A.B) utilizando prop. Distr. [A.(A+B)]=(A.A+A.B) utilizando prop. Distr. e identidade A.A=0e identidade A.A=0(A.A+A.B)=(A.B) utilizando 1°Teor. DM(A.A+A.B)=(A.B) utilizando 1°Teor. DM(A.B)=A+B(A.B)=A+B

Page 12: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

12

SIMPLIFICAÇÃO DE SIMPLIFICAÇÃO DE EXPRESSÕES BOOLEANASEXPRESSÕES BOOLEANAS

• Por que simplificar?

A partir de expressões simples pode-se construir circuitos simples

• Processos de simplificação:

a)Simplificação por Álgebra de Boolea)Simplificação por Álgebra de Boole

b)Simplificação por mapa de Veigh b)Simplificação por mapa de Veigh Karnaugh ( Mapa VK)Karnaugh ( Mapa VK)

Page 13: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

13

SIMPLIFICAÇÃO POR ÁLGEBRA SIMPLIFICAÇÃO POR ÁLGEBRA DE BOOLEDE BOOLE

• Exemplo 1:Exemplo 1:

S=ABC+AC+ABS=ABC+AC+AB

S=A(BC+C+B)S=A(BC+C+B)

S=A[BC+(C+B)]S=A[BC+(C+B)]

S=[BC+BC]AS=[BC+BC]A

S=AS=A

Exemplo 2:Exemplo 2:

S=ABC+ABC+ABCS=ABC+ABC+ABC

S=AC(B+B)+ABCS=AC(B+B)+ABC

S=AC(B+B)+ABCS=AC(B+B)+ABC

S=AC+ABCS=AC+ABC

Page 14: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

14

SIMPLIFICAÇÃO POR MAPA DE SIMPLIFICAÇÃO POR MAPA DE KARNAUGHKARNAUGH

Page 15: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

15

Page 16: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

16

Page 17: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

17

Page 18: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

18

Page 19: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

19

MAPA DE VK P/ 2 VARIÁVEISMAPA DE VK P/ 2 VARIÁVEIS

• Possui grupo de 4 variáveis • Possui grupos de 2 variáveis

• Regra:Regra:• Grupo de 4(quadra): S=1Grupo de 4(quadra): S=1• Grupo de 2 (dupla): Sobra 1 variávelGrupo de 2 (dupla): Sobra 1 variável

Page 20: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

20

Page 21: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

21

Page 22: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

22

Page 23: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

23

Page 24: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

24

Page 25: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

25

Page 26: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

26

MAPA DE VK P/ 3 VARIÁVEISMAPA DE VK P/ 3 VARIÁVEIS

• Possui grupo de 8 variáveis• Possui grupos de 2 variáveis do mesmo modo

que o mapa de VK utilizado com 2 variáveis• Possui grupos de 4 variáveis

• Regra:Regra:• Grupo de 8 : S=1Grupo de 8 : S=1• Grupo de 2 (dupla): Sobram 2 variáveisGrupo de 2 (dupla): Sobram 2 variáveis• Grupo de 4 (quadra): Sobram 1 variáveisGrupo de 4 (quadra): Sobram 1 variáveis

Page 27: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

27

Page 28: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

28

Page 29: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

29

Page 30: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

30

MAPA DE VK P/ 4 VARIÁVEISMAPA DE VK P/ 4 VARIÁVEIS

• Possui grupo de 16 variáveis• Possui grupos de 2 e de 4 variáveis do mesmo

modo que o mapa de VK utilizado com 3 variáveis

• Possui grupos de 8 variáveis• Regra:Regra:• Grupo de 16 variáveis: S=1Grupo de 16 variáveis: S=1

Grupo de 2 (dupla): sobram 3 variáveisGrupo de 2 (dupla): sobram 3 variáveis

Grupo de 4 (quadra): sobram 2 variáveisGrupo de 4 (quadra): sobram 2 variáveis

Grupo de 8: sobra 1 variávelGrupo de 8: sobra 1 variável

Page 31: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

31

Page 32: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

32

Page 33: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

33

CONDIÇÃO IRRELEVANTECONDIÇÃO IRRELEVANTE

• Condição em que a saída pode assumir 0 Condição em que a saída pode assumir 0 ou 1 indiferentemente.ou 1 indiferentemente.

• Regras:X na entrada: o valor pode ser 0 ou 1. O valor da saída não depende da variável indicada por X.X na saída: Ou a entrada é impossível de aconter ou possibilita qualquer dos 2 valores (0 ou 1).

Page 34: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

34

Page 35: 1 SISTEMAS DIGITAIS ALGEBRA DE BOOLE E SIMPLIFICAÇÃO DE CIRC. LÓGICOS Prof. José Bezerra de Menezes Filho CENTRO FEDERAL DE EDUCAÇÃO TECNOLÓGICA DA PARAÍBA

35