Aula 3 Aula 3 Aula 3 Aula 3

lgebra de Boole lgebra de Boole lgebra de Boole lgebra de Boole

SEL 0414 - Sistemas Digitais SEL 0414 - Sistemas Digitais
Prof. Dr. Marcelo Andrade da Costa Vieira Prof. Dr. Marcelo Andrade da Costa Vieira
1. LGEBRA DE BOOLE 1. LGEBRA DE BOOLE
1.1. POSTULADOS 1.1. POSTULADOS
(a) Complemento (a) Complemento
= complemento de A
A 0 1
= complemento de A
A 0 1 A = 0 = 1
A = 1 = 0
A = 0 = 1
A = 1 = 0 A 1 0 A 1 0
1. LGEBRA DE BOOLE 1. LGEBRA DE BOOLE
1.1. POSTULADOS 1.1. POSTULADOS
0 + 0 0 0 + 0 0
(b) Adio (b) Adio
A + 0 = A A + 0 = A

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

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

A + = 1 A + = 1
1.1. POSTULADOS 1.1. POSTULADOS
(b) Adio (b) Adio
1. LGEBRA DE BOOLE 1. LGEBRA DE BOOLE
1.1. POSTULADOS 1.1. POSTULADOS
0 0 0 0 0 0
(c) Multiplicao (c) Multiplicao
A . 0 = 0 A . 0 = 0

0 . 0 = 0
0 . 1 = 0
0 0
0 . 0 = 0
0 . 1 = 0
0 0
A . 0 0
A . 1 = A
A . 0 0
A . 1 = A

1 . 0 = 0
1 . 1 = 1
1 . 0 = 0
1 . 1 = 1
A . A = A
A = 0
A . A = A
A = 0

A . = 0 A . = 0
1.1. POSTULADOS 1.1. POSTULADOS
(c) Multiplicao (c) Multiplicao
1. LGEBRA DE BOOLE 1. LGEBRA DE BOOLE
1.2. PROPRIEDADES 1.2. PROPRIEDADES
A + B = B + A A + B = B + A

(a) Comutativa (a) Comutativa

A B = B A A B = B A

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

(b) Associativa (b) Associativa

= A + B + C
A (BC) = (AB) C = ABC
= A + B + C
A (BC) = (AB) C = ABC
(c) Distributiva (c) Distributiva
A (B+C) = AB + AC A (B+C) = AB + AC

(c) Distributiva (c) Distributiva

A (B+C) = AB + AC A (B+C) = AB + AC

2. LGEBRA DE BOOLE 2. LGEBRA DE BOOLE

2.4. OUTRAS IDENTIDADES 2.4. OUTRAS IDENTIDADES
(a) A = A (a) A = A
Lei da Dupla Inverso Lei da Dupla Inverso
(b) A + AB = A (b) A + AB = A
(c) A + A B = A + B (c) A + A B = A + B
Lei da Absoro Lei da Absoro
(c) A + A B = A + B (c) A + A B = A + B
(d) (A + B) (A + C) = A + BC (d) (A + B) (A + C) = A + BC (d) (A + B) (A + C) A + B C (d) (A + B) (A + C) A + B C
(e) AB + AC = (A + B) (A + C) (e) AB + AC = (A + B) (A + C)
Lei da Dualidade Lei da Dualidade
1. LGEBRA DE BOOLE 1. LGEBRA DE BOOLE
1 TEOREMA DE De Morgan 1 TEOREMA DE De Morgan
AA
00
BB AB AB A+B A+B
00 1 1 1 1
A B = A + B A B = A + B

0
1
1
0
1
1
1
0
1
1
0
1
1
1
0
1
1
0
1
1
0
1
1
0
A B A + B A B A + B

1. LGEBRA DE BOOLE 1. LGEBRA DE BOOLE
2 TEOREMA DE De Morgan 2 TEOREMA DE De Morgan
AA
0
0
0
0
BB A+B A+B A B A B
0
1
0
1
1
0
1
0
1
0
1
0
A + B = A B A + B = A B

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

EQUIVALNCIA ENTRE BLOCOS LGICOS EQUIVALNCIA ENTRE BLOCOS LGICOS
A S

A S
B

B
1 TEOREMA DE DE MORGAN: AB = A + B 1 TEOREMA DE DE MORGAN: AB = A + B
Colocando um inversor na sada obtm se:
A S A S
Colocando um inversor na sada obtm-se:
A S
B
A S
B

EQUIVALNCIA ENTRE BLOCOS LGICOS EQUIVALNCIA ENTRE BLOCOS LGICOS
A S

A S
B

B
1 TEOREMA DE DE MORGAN: A + B = A B
C l d i d b
A S
A S
Colocando um inversor na sada obtm-se:

A S
B
A S
B
UNIVERSALIDADE DAS PORTAS UNIVERSALIDADE DAS PORTAS NAND NAND E E NOR NOR
Todas as expresses Booleanas consistem de
combinaes de f nes OR AND e NOT combinaes de funes OR, AND e NOT;
Portas NAND e NOR so universais, ou seja,
podem se transformar em qualquer outra
t l i d t t d porta lgica e podem, portanto, ser usadas
para representar qualquer expresso
Booleana; Booleana;
Porta NAND Porta NAND
1. INVERSOR a partir de uma porta NAND
TABELA VERDADE TABELA VERDADE
AA BB SS
0 0 1 0 0 1
AA
0 0 1
0 1 1
1 0 1
0 0 1
0 1 1
1 0 1
BB
AA
SS
1 1 0 1 1 0
Porta NAND Porta NAND
1. INVERSOR a partir de uma porta NAND
TABELA VERDADE TABELA VERDADE
A S=A
AA BB SS
0 0 1 0 0 1
A S=A
0 0 1
0 1 1
1 0 1
0 0 1
0 1 1
1 0 1
1 1 0 1 1 0
Porta NAND Porta NAND
1. INVERSOR a partir de uma porta NAND
A S=A
TABELA VERDADE TABELA VERDADE
A S=A
AA BB SS
TABELA VERDADE TABELA VERDADE
0 0 1
0 1 1
1 0 1
0 0 1
0 1 1
1 0 1
A S=A
1 0 1
1 1 0
1 0 1
1 1 0
1
Porta NAND Porta NAND
1. INVERSOR a partir de uma porta NAND
A S=A
S A
A S=A
0 1
1 0
==
0 1
A S=A
1
Porta NAND Porta NAND
2. Porta AND a partir de duas portas NAND
A
S
1
=AB
B
1
S
2
=AB = AB
====
Porta NAND Porta NAND
3. Porta OR a partir de trs portas NAND
Pelo Teorema de De Morgan temos:
( A B ) = (A + B) = A + B
A S
A S

A S
B
A S
B
Porta NAND Porta NAND
3. Porta OR a partir de trs portas NAND
A
B

A S
B
Inversores
B
Porta NOR Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE TABELA VERDADE
AA BB SS
0 0 1 0 0 1 0 0 1
0 1 0
1 0 0
0 0 1
0 1 0
1 0 0
BB
AA
SS
1 1 0 1 1 0
BB
Porta NOR Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE TABELA VERDADE
AA BB SS
0 0 1 0 0 1
A S=A
0 0 1
0 1 0
1 0 0
0 0 1
0 1 0
1 0 0
1 1 0 1 1 0
Porta NOR Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE TABELA VERDADE
AA BB SS
0 0 1 0 0 1
A S=A
0 0 1
0 1 0
1 0 0
0 0 1
0 1 0
1 0 0
1 1 0 1 1 0
A S=A
0
Porta NOR Porta NOR
1. INVERSOR a partir de uma porta NOR
S A
A S=A
0 1
1 0
0 1
==
A S=A
0
Porta NOR Porta NOR
2. Porta OR a partir de duas portas NOR
A
S
1
=A+B
B
1
S
2
=A+B = A+B
====
Porta NOR Porta NOR
3. Porta AND a partir de trs portas NOR
Pelo Teorema de De Morgan temos:
( A + B ) = (AB) = AB

A S
B
A S
B
Porta NOR Porta NOR
3. Porta AND a partir de trs portas NOR
A
B

A S
Inversores
B
Resumo Resumo
FIM FIM
Exerccios: Exerccios:
Simplificar as expresses: Simplificar as expresses:
1. S =ABC +ABC 1. S =ABC +ABC
2. S =(A +B) (A (A ++B) B) 2. S =(A +B) (A (A ++B) B)
3. S =ABC +AC +AB 3. S =ABC +AC +AB
4 S =(A +C) (A (A ++D) D) 4 S =(A +C) (A (A ++D) D) 4. S (A +C) (A (A ++D) D) 4. S (A +C) (A (A ++D) D)
FIM FIM