2.

lgebra Booleana

EEL5105 Circuitos e Tcnicas Digitais Aula 2

2.1. Definies Iniciais 2.2. Operaes/Portas Lgicas 2.3. Teoremas Booleanos

Prof. Eduardo L. O. Batista ebatista@inf.ufsc.br http://www.inf.ufsc.br/~ebatista

2.4. Universalidade das Portas NAND e NOR

2. lgebra Booleana 2.1. Definies Iniciais lgebra com dois nveis lgicos:
0 1 True Alto Sim Fechado

2.1. Definies Iniciais

False Baixo

2.2. Operaes/Portas Lgicas 2.3. Teoremas Booleanos 2.4. Universalidade das Portas NAND e NOR

No Aberto

2. lgebra Booleana 2.1. Definies Iniciais Operaes Lgicas Bsicas OR (ou) AND (e) NOT (no) Realizadas por portas lgicas construdas com circuitos eltricos

2. lgebra Booleana 2.1. Definies Iniciais Tabela Verdade Tcnica para descrever a relao de entrada e sada de um
circuito ou porta lgica

2. lgebra Booleana 2.1. Definies Iniciais Tabela Verdade Tcnica para descrever a relao de entrada e sada de um
circuito ou porta lgica

2. lgebra Booleana 2.1. Definies Iniciais Tabela Verdade Tabela Verdade Tcnica para descrever a relao de entrada e sada de um
circuito ou porta lgica

Exemplo: porta lgica hipottica

A N=2 entradas B

Exemplo: porta lgica hipottica

A S N=2 entradas B

M=1 sada

M=1 sada

Tabela verdade:
A 0 0 1 1
7

B 0 1 0 1

S 1 0 1 0
8

2. lgebra Booleana 2.1. Definies Iniciais Tabela Verdade Tabela Verdade Tcnica para descrever a relao de entrada e sada de um
circuito ou porta lgica

2. lgebra Booleana 2.1. Definies Iniciais Tabela Verdade Tabela Verdade Tcnica para descrever a relao de entrada e sada de um
circuito ou porta lgica

Exemplo: porta lgica hipottica

A N=2 entradas B

Outro exemplo hipottico:

S M=1 sada A B C

S1 S2

Quantas linhas e colunas ter a tabela verdade para essa porta lgica?

Tabela verdade:
N colunas A 2N linhas 0 0 1 1 B 0 1 0 1 M colunas S 1 0 1 0
9 10

2. lgebra Booleana 2.1. Definies Iniciais Tabela Verdade Tabela Verdade Tcnica para descrever a relao de entrada e sada de um
circuito ou porta lgica 2.1. Definies Iniciais

Outro exemplo hipottico:

A B C

2.2. Operaes/Portas Lgicas

A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S1 1 0 1 0 1 1 1 0 S2 1 1 0 0 0 1 0 1
11 12

S1 S2

2.3. Teoremas Booleanos 2.4. Universalidade das Portas NAND e NOR

2.2. Operaes/Portas Lgicas 2.2.1. Operao e porta OR (OU) Representao da operao: 2 entradas: S = A + B Mais entradas: S = A + B + C + D + ... Representao da porta:
A B S A 0 0 1 1 B 0 1 0 1 S 0 1 1 1

2.2. Operaes/Portas Lgicas 2.2.1. Operao e porta OR (OU) Representao da operao: 3 entradas: S = A + B + C
A B C A S 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S

13

14

2.2. Operaes/Portas Lgicas 2.2.1. Operao e porta OR (OU) Representao da operao: 3 entradas: S = A + B + C
A B C A S 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 1 1 1 1 1 1 1

2.2. Operaes/Portas Lgicas 2.2.2. Operao e porta AND (E) Representao da operao: 2 entradas: S = A B Mais entradas: S = A B C D ... Representao da porta:
A B S A 0 0 1 1 B 0 1 0 1 S 0 0 0 1

15

16

2.2. Operaes/Portas Lgicas 2.2.2. Operao e porta AND (E) Representao da operao: 3 entradas: S = A B C
A B C S A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S

2.2. Operaes/Portas Lgicas 2.2.2. Operao e porta AND (E) Representao da operao: 3 entradas: S = A B C
A B C S A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 C 0 1 0 1 0 1 0 1 S 0 0 0 0 0 0 0 1

17

18

2.2. Operaes/Portas Lgicas 2.2.3. Operao e porta NOT (NO) Representao da operao: 1 entrada: S = A = A
A 0 1 S 1 0

2.2. Operaes/Portas Lgicas 2.2.4. Outras Portas

19

20

2.2. Operaes/Portas Lgicas 2.2.4. Outras Portas NAND (NO-E):

A B A 0 0 1 1 B 0 1 0 1 S 1 1 1 0

2.2. Operaes/Portas Lgicas 2.2.4. Outras Portas NAND (NO-E):

A B A 0 0 1 1 B 0 1 0 1 S 1 1 1 0

S=A B = (A B)'

S=A B = (A B)'

NOR (NO-OU):
A B

A 0 0 1 1

B 0 1 0 1

S 1 0 0 0

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

21

22

2.2. Operaes/Portas Lgicas 2.2.4. Outras Portas XOR (OU-EXCLUSIVO):

A B A 0 0 1 1 B 0 1 0 1 S 0 1 1 0

2.2. Operaes/Portas Lgicas 2.2.4. Outras Portas XOR (OU-EXCLUSIVO):

A B A 0 0 1 1 B 0 1 0 1 S 0 1 1 0

S=A B =AB+AB =A'B+AB'

S=A B =AB+AB =A'B+AB'

XNOR (NO-OU-EXCLUSIVO):
A B

A 0 0 1 1

B 0 1 0 1

S 1 0 0 1

S=A B = AB+AB = AB+A'B'

23

24

2.2. Operaes/Portas Lgicas Exemplo 1: Fazer a tabela verdade do circuito abaixo

2.2. Operaes/Portas Lgicas Exemplo 2: Fazer a tabela verdade do circuito abaixo

A A B S B C S

25

26

2.3. Teoremas Booleanos

2.1. Definies Iniciais 2.2. Operaes/Portas Lgicas

2.3. Teoremas Booleanos

2.4. Universalidade das Portas NAND e NOR

27

28

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

1)

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

1)

a) X 0 = b) X + 1 =

a) X 0 = 0 b) X + 1 = 1

29

30

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

1)

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

1)

a) X 0 = 0 b) X + 1 = 1

a) X 0 = 0 b) X + 1 = 1

2)

a) X 1 = b) X + 0 =

2)

a) X 1 = X b) X + 0 = X

31

32

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

1)

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

a) X X = b) X + X =
2) 1)

a) X 0 = 0 b) X + 1 = 1

3)

a) X 0 = 0 b) X + 1 = 1 a) X 1 = X b) X + 0 = X

3)

a) X X = X b) X + X = X

2)

a) X 1 = X b) X + 0 = X

33

34

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

1)

2.3. Teoremas Booleanos Teoremas com uma nica varivel:

a) X X = X b) X + X = X
4) a) X X = X X' = 2) 1)

a) X 0 = 0 b) X + 1 = 1

3)

a) X 0 = 0 b) X + 1 = 1 a) X 1 = X b) X + 0 = X

3)

a) X X = X b) X + X = X

2)

a) X 1 = X b) X + 0 = X

4) a) X X = X X' = 0

b) X + X = X + X' =

b) X + X = X + X' = 1

35

36

2.3. Teoremas Booleanos Teoremas com mais de uma varivel:

5)

2.3. Teoremas Booleanos Teoremas com mais de uma varivel:

5)

a) X + Y = Y + X b) X Y = Y X

a) X + Y = Y + X b) X Y = Y X

6)

6)

a) X+(Y+Z) = (X+Y)+Z= X+Y+Z b) X (Y Z) = (X Y) Z=X Y Z

37

38

2.3. Teoremas Booleanos Teoremas com mais de uma varivel:

7)

2.3. Teoremas Booleanos Teoremas com mais de uma varivel:

7)

a) X (Y+Z) = X Y + X Z b) X + (Y Z) = (X + Y) (X + Z)

a) X (Y+Z) = X Y + X Z b) X + (Y Z) = (X + Y) (X + Z)

8)

8)

a) X + X Y = X b) X (X + Y) = X

39

40

2.3. Teoremas Booleanos Teoremas com mais de uma varivel:

9)

2.3. Teoremas Booleanos Teoremas com mais de uma varivel:

9)

a) X + X Y = X + Y b) X (X + Y) = X Y

a) X + X Y = X + Y b) X (X + Y) = X Y

10)

10) Teoremas de DeMorgan

a) X + Y + Z = X Y Z b) X Y Z = X + Y + Z

41

42

2.3. Teoremas Booleanos Exerccio: Demonstre se a igualdade abaixo ou no verdadeira.

(A B) C = A (B C)

2.3. Teoremas Booleanos Dualidade

0 1 1 0 a) b) fazendo + +

Em todos teoremas: Resposta: Sim, verdadeira. Prova por ser feita usando tabela
verdade ou os teoremas da lgebra booleana.

A dualidade pode ser usada para simplificar expresses

booleanas. Feita a simplificao, forma anterior deve ser restaurada.

43

44

2.3. Teoremas Booleanos Dualidade Exemplo: Simplificando X + X Y

X + XY dual X (X + Y) = X X + X Y = 0 + X Y = X Y dual = X+Y

2.3. Teoremas Booleanos Exerccios Simplificar as seguintes expresses:

(i) y = ABD + ABD

(v) y = ABCD + ABCD

(ii) y = (A + B)(A + B)

(vi) y = (A + C)(B + D)

(iii) y = ACD + ABCD

(iv) y = AD + ABD
45 46

2.4. Universalidade das Portas NAND e NOR

2.1. Definies Iniciais 2.2. Operaes/Portas Lgicas 2.3. Teoremas Booleanos

Somente com portas NAND ou somente com portas NOR,

possvel implementar qualquer funo lgica.

2.4. Universalidade das Portas NAND e NOR

47

48

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica. Inversor:

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica.

Inversor:
A

S=A

S=A

S= AA = A

49

50

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica. Inversor:

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica.

OR (OU):
A B
S = A+B

S=A

S= AA = A

S=A+A =A

51

52

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica. OR (OU):

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica.

OR (OU):
A B

A B A B A+B

S = A+B

S = A+B

S = A+B = A+B

53

54

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica. OR (OU):

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica.

AND (E):
A B

A B A
B

S = A+B

S= AB

AA = A

S= AB
B B = B

=A+B =A+B

55

56

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica. AND (E):

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica.

AND (E):
A B

A B

S= AB

S= AB

A B
AB

S = AB= AB

57

58

2.4. Universalidade das Portas NAND e NOR Somente com portas NAND ou somente com portas NOR,
possvel implementar qualquer funo lgica. AND (E):

2.4. Universalidade das Portas NAND e NOR Exemplo: Implementar S = AB+CD usando somente NAND

A B A
B

S= AB

A+A =A

S=A+B

B+B= B

= AB = AB

59

60

10

2.4. Universalidade das Portas NAND e NOR Exemplo: Implementar S = AB+CD usando somente NAND
AB
A B

2.4. Universalidade das Portas NAND e NOR Exemplo: Implementar S = AB+CD usando somente NAND

A B

C D S = AB+CD

C D

CD

61

62

2.4. Universalidade das Portas NAND e NOR Exemplo: Implementar S = AB+CD usando somente NAND
A B
C D S = AB+CD
Prof. Eduardo L. O. Batista ebatista@inf.ufsc.br http://www.inf.ufsc.br/~ebatista

EEL5105 Circuitos e Tcnicas Digitais Aula 2

63

Exerccios
Os exerccios de diferentes edies do livro do Tocci indicados abaixo so os recomendados:
10 Edio 3.16 (a) e (b) 3.23, 3.24, 3.26, 3.27 e 3.32 3.48 e 3.49 11 Edio 3.16 (a) e (b) 3.23, 3.24, 3.26 e 3.32 3.49

A verso digital da 11 edio do livro do Tocci est disponvel no site da BU Mais especificamente em:
http://150.162.4.10/pergamum/biblioteca_s/php/login_pearson.php

65

11