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 A=1 =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) Comutativa (b) Associativa A+B=B+A 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 (b) A + AB = A (c) A + A B = A + B (d) (A + B) (A + C) = A + BC (e) AB + AC = (A + B) (A + C)
Lei da Dualidade Lei da Dupla Inverso Lei da Absoro

1. LGEBRA DE BOOLE
1 TEOREMA DE De Morgan

B
0 1 0 1

AB
1 1 1 0

A+B
1 1 1 0

AB = A+B

0 0 1 1

1. LGEBRA DE BOOLE
2 TEOREMA DE De Morgan

B
0 1 0 1

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

A+B = AB

0 0 1 1

EQUIVALNCIA ENTRE BLOCOS LGICOS

A B

A B

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

Colocando um inversor na sada obtm se: obtm-se:

A B S

A B

EQUIVALNCIA ENTRE BLOCOS LGICOS

A B

A B

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

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

A B S

A B

UNIVERSALIDADE DAS PORTAS NAND E NOR

Todas as expresses Booleanas consistem de combinaes de f nes OR AND e NOT funes OR, NOT; Portas NAND e NOR so universais, ou seja, podem se transformar em qualquer outra porta l i t lgica e podem, portanto, ser usadas d t t 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
TABELA VERDADE A 0 0 1 1 B 0 1 0 1 S 1 1 1 0

S=A

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

A 1

S=A

Porta NAND
1. INVERSOR a partir de uma porta NAND A 0 1 S 1 0

S=A

=
A 1 S=A

Porta NAND
2. Porta AND a partir de duas portas NAND
A B 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

A B S

Inversores

Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE A 0 0 1 1 B 0 1 0 1 S 1 0 0 0

A B

Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE A 0 0 1 1 B 0 1 0 1 S 1 0 0 0

S=A

Porta NOR
1. INVERSOR a partir de uma porta NOR
TABELA VERDADE A 0 0 1 1 B 0 1 0 1 S 1 0 0 0

S=A

A 0

S=A

Porta NOR
1. INVERSOR a partir de uma porta NOR A 0 1 S 1 0

S=A

=
A 0 S=A

Porta NOR
2. Porta OR a partir de duas portas NOR
A B 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

A B S

Inversores

Resumo

FIM

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

FIM