Aula 3

lgebra de Boole
lgebra
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) Adio
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) Adio

1. LGEBRA DE BOOLE
1.1. POSTULADOS
(c) Multiplicao
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) Multiplicao

1. LGEBRA DE BOOLE
1.2. PROPRIEDADES

A+B=B+A

(a) Comutativa

(b) Associativa

AB = BA
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 Inverso

(b) A + AB = A

Lei da Absoro

(c) A + A B = A + B
(d) (A + B) (A + C) = A + BC
(e) AB + AC = (A + B) (A + C)
Lei da Dualidade

1. LGEBRA DE BOOLE
1 TEOREMA DE De Morgan

AB = A+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+B = AB

0
0
1
1

0
1
0
1

A+B A B
1
0
0
0

1
0
0
0

EQUIVALNCIA ENTRE BLOCOS LGICOS

1 TEOREMA DE DE MORGAN: AB = A + B
1

Colocando um inversor na sada obtm-se:

obtm se:
A
B

A
B

EQUIVALNCIA ENTRE BLOCOS LGICOS

1 TEOREMA DE DE MORGAN: A + B = A B

C l
Colocando
d um inversor
i
na sada
d obtm-se:
b
A
B

A
B

UNIVERSALIDADE DAS PORTAS NAND E NOR

z

Todas as expresses Booleanas consistem de

combinaes de funes
f nes OR,
OR AND e NOT;
NOT

Portas NAND e NOR so universais, ou seja,

podem se transformar em qualquer outra
porta
t lgica
l i
e podem,
d
portanto,
t t ser usadas
d
para
representar
qualquer
expresso
Booleana;

Porta NAND
1. INVERSOR a partir de uma porta NAND
TABELA VERDADE
A
B

A
0
0
1
1

B
0
1
0
1

S
1
1
1
0

Porta NAND
1. INVERSOR a partir de uma porta NAND

S=A

TABELA VERDADE
A
0
0
1
1

B
0
1
0
1

S
1
1
1
0

Porta NAND
1. INVERSOR a partir de uma porta NAND

A
1

S=A

S=A

TABELA VERDADE
A
0
0
1
1

B
0
1
0
1

S
1
1
1
0

Porta NAND
1. INVERSOR a partir de uma porta NAND

A
0
1

S=A

=
A
1

S=A

S
1
0

Porta NAND
2. Porta AND a partir de duas portas NAND
A

S1=AB

S2=AB = AB

Porta NAND
3. Porta OR a partir de trs portas NAND
Pelo Teorema de De Morgan temos:
( A B ) = (A + B) = A + B

A
B

A
B

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

Inversores

A
B

Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE

A
B

A
0
0
1
1

B
0
1
0
1

S
1
0
0
0

Porta NOR
1. INVERSOR a partir de uma porta NOR

S=A

TABELA VERDADE
A
0
0
1
1

B
0
1
0
1

S
1
0
0
0

Porta NOR
1. INVERSOR a partir de uma porta NOR

A
0

S=A

S=A

TABELA VERDADE
A
0
0
1
1

B
0
1
0
1

S
1
0
0
0

Porta NOR
1. INVERSOR a partir de uma porta NOR

A
0
1

S=A

=
A
0

S=A

S
1
0

Porta NOR
2. Porta OR a partir de duas portas NOR
A

S1=A+B

S2=A+B = A+B

Porta NOR
3. Porta AND a partir de trs portas NOR
Pelo Teorema de De Morgan temos:
( A + B ) = (AB) = AB

A
B

A
B

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

Inversores

A
B

Resumo

FIM

Exerccios:
Simplificar as expresses:
1.

S = ABC + ABC

2.

S = (A + B) (A + B)

3.

S = ABC + AC + AB

4
4.

S = (A + C) (A + D)

FIM