Escolar Documentos
Profissional Documentos
Cultura Documentos
lgebra Booleana
Simplificao de circuitos lgicos
Prof.: Daniel D. Silveira
1
Circuitos Lgicos Prof. Daniel D. Silveira
lgebra de Boole
Variveis booleanas so representadas
atravs de letras e podem assumir dois
apenas dois valores 0 e 1
Expresso booleana uma expresso
matemtica cujas variveis so booleanas
Atravs de postulados, propriedades,
teoremas fundamentais e identidades da
lgebra de Boole possvel a simplificao
das expresses que representam os circuitos
lgicos
2
Circuitos Lgicos Prof. Daniel D. Silveira
Postulados
Postulado da complementao
Seja A o complemento de A:
Se A 0, logo A 1
Se A 1, logo A 0
3o) 1+0=1
4o) 1+1=1
Atravs do postulado podemos definir as
seguintes identidades:
A+0=A, se A=0=>0+0=0 ; se A=1=>1+0=1
A+1=1, se A=0=>0+1=1 ; se A=1=>1+1=1
A+A=A, se A=0=>0+0=0 ; se A=1=>1+1=1
A A 1 , se A=0=>0+1=1 ; se A=1=>1+0=1
4
Circuitos Lgicos Prof. Daniel D. Silveira
Postulados
Postulado da Multiplicao: As regras da
multiplicao booleana so 12 )) 0.0=0
o
o
0.1=0
3o) 1.0=0
4o) 1.1=1
Atravs do postulado, podemos estabelecer
as identidades:
A.0=0, se A=0=>0.0=0; se A=1=> 0.1=0
A.1=A, se A=0=>0.1=0; se A=1=> 1.1=1
A.A=A, se A=0=>0.0=0; se A=1=> 1.1=1
A. A =0, se A=0=>0.1=0; se A=1=> 1.0=0
5
Circuitos Lgicos Prof. Daniel D. Silveira
Propriedades
Propriedade comutativa na adio:
A+B=B+A
6
Circuitos Lgicos Prof. Daniel D. Silveira
Propriedades
Propriedade associativa na adio:
A + (B + C)=(A + B) + C=A + B + C
7
Circuitos Lgicos Prof. Daniel D. Silveira
Propriedades
Propriedade associativa na multiplicao:
A . (B . C)=(A . B) . C= A . B . C
8
Circuitos Lgicos Prof. Daniel D. Silveira
Propriedades
Propriedade distributiva:
A. (B + C)= A . B + A . C
9
Circuitos Lgicos Prof. Daniel D. Silveira
Teoremas de De Morgan
O complemento do produto igual a soma
dos complementos
A.B A B
A.B.C...N ( A B C ... N )
10
Circuitos Lgicos Prof. Daniel D. Silveira
Teoremas de De Morgan
O complemento do a soma igual ao
produto dos complementos (extenso do
primeiro teorema)
Seja o 1o. Teorema: A.B A B
Reescrevendo assim: A.B ( A B)
E chamando A de X e B de Y
Tem-se o 2o teorema: X .Y X Y
( A B C ... N ) A.B.C...N
11
Circuitos Lgicos Prof. Daniel D. Silveira
Identidades auxiliares
A + AB=A => A(1+B)=A
A A.B A B
12
Circuitos Lgicos Prof. Daniel D. Silveira
Identidades auxiliares
( A B).( A C ) A B.C Propriedades utilizadas:
( A B).( A C ) A( A B) C ( A B ) Distributiva
A. A A.B A.C B.C Distributiva
A A.( B C ) B.C
A.(1 B C ) C.B
1+A=1 e A.1=A
A.1 C.B
( A B).( A C ) A BC
13
Circuitos Lgicos Prof. Daniel D. Silveira
Quadro Resumo
Postulados
Complementao Adio Multiplicao
0+0=0 0.0=0
0+1=1 0.1=0
1+0=1 1.0=0
1+1=1 1.1=1
Identidades
Complementao Adio Multiplicao
A+0=A A.0=0
A+1=1 A.1=A
A+A=A A.A=A
14
Circuitos Lgicos Prof. Daniel D. Silveira
Simplificao de Expresses
Booleanas
Simplificaes de expresses implicam em
simplificaes de circuitos
So possveis dois mtodos para se realizar
simplificaes de expresses:
lgebra de Boole
Mapas de Veitch-Karnaugh
15
Circuitos Lgicos Prof. Daniel D. Silveira
Simplificao de expresses
booleanas
Exemplo
Seja simplificar a expresso:
S ABC AC AB
S A( BC C B) Evidenciando o termo A
S A[ BC (C B)] Associativa
S A[ BC (C B)] A A
S A[ BC ( BC )] De Morgan e, chamando BC de Y
S A[Y Y ] A
16
Circuitos Lgicos Prof. Daniel D. Silveira
Simplificao de expresses
booleanas
17
Circuitos Lgicos Prof. Daniel D. Silveira
Exerccios propostos
Simplifique as expresses abaixo:
S1 A B C . A B C
S 2 AC B D C ACD
S 3 A B .C DC B
S4 A B C . A B C
S 5 A.B.C ABC ABC ABC ABC
S 6 {[ A( B C )].D}. A B
18
Circuitos Lgicos Prof. Daniel D. Silveira