Algebra de Boole
776 palavras
4 páginas
Aula 3Álgebra
Álgebra de Boole
SEL 0414 - Sistemas Digitais
Prof. Dr. Marcelo Andrade da Costa Vieira
1. ÁLGEBRA DE BOOLE
1.1. POSTULADOS
(a) Complemento
Ā = complemento de A
• A=0
Ā=1
• A=1
Ā=0
1. ÁLGEBRA DE BOOLE
1.1. POSTULADOS
(b) Adição
0
0
1
1
+
+
+
+
0
1
0
1
=
=
=
=
0
1
1
1
A+0=A
A+1=1
A+A=A
A+Ā=1
1.1. POSTULADOS
(b) Adição
1. ÁLGEBRA DE BOOLE
1.1. POSTULADOS
(c) Multiplicação
0
0
1
1
.
.
.
.
0
1
0
1
=
=
=
=
0
0
0
1
A.0=0
A.1=A
A.A=A
A.Ā=0
1.1. POSTULADOS
(c) Multiplicação
1. ÁLGEBRA DE BOOLE
1.2. PROPRIEDADES
(a) Comutativa
(b) Associativa
• A+B=B+A
• A·B = B·A
• A + (B+C) = (A+B) + C
=A+B+C
• A · (BC) = (AB) · C = ABC
(c) Distributiva
A · (B+C) = AB + AC
2. ÁLGEBRA DE BOOLE
2.4. OUTRAS IDENTIDADES
(a) A = A
Lei da Dupla Inversão
(b) A + A·B = A
Lei da Absorção
(c) A + A B = A + B
(d) (A + B) (A + C) = A + B·C
(e) A·B + A·C = (A + B) · (A + C)
Lei da Dualidade
1. ÁLGEBRA DE BOOLE
1° TEOREMA DE De Morgan
A
A·B = A+B
B
AB
A+B
0
0
1
1
0
1
0
1
1
1
1
0
1
1
1
0
1. ÁLGEBRA DE BOOLE
2° TEOREMA DE De Morgan
A
A+B = A·B
B
0
0
1
1
0
1
0
1
A+B A B
1
0
0
0
1
0
0
0
EQUIVALÊNCIA ENTRE BLOCOS LÓGICOS
A
S
B
⇔
A
S
B
1
1º TEOREMA DE DE MORGAN: A·B = A + B
Colocando um inversor na saída obtém se: obtém-se: A
B
S
⇔
A
B
S
EQUIVALÊNCIA ENTRE BLOCOS LÓGICOS
A
S
B
⇔
A
S
B
1º TEOREMA DE DE MORGAN: A + B = A · B
Colocando um inversor na saída obtém-se:
C l d i íd b é
A
B
S
⇔
A
B
S
UNIVERSALIDADE DAS PORTAS NAND E NOR
Todas as expressões Booleanas consistem de combinações de f nções OR AND e NOT funções OR,
NOT;
Portas NAND e NOR são universais, ou seja, podem se “transformar” em qualquer outra porta ló i t lógica e podem, portanto, ser