Você está na página 1de 39

Universidade Tecnolgica Federal do Paran UTFPR

Bacharelado em Cincia da Computao

BCC32B Elementos de Lgica Digital

Prof. Paulo C. Gonalves


paulogoncalves@utfpr.edu.br

Material desenvolvido pelo


Prof. Rogrio A. Gonalves
Aula 004
lgebra de Boole
Teoremas de DeMorgan
Expresses Booleanas
Expresses a partir de Circuitos
Circuitos a partir de Expresses

2
Fundamentos de Lgica
lgebra de Boole
- lgebra proposta pelo matemtico George Boole em 1854
- Usada para simplificar circuitos lgicos
- Todas as variveis tm valor 0 ou 1
- Tem 3 operadores:

Nome Smbolo

OR +

AND

NOT A

3
Fundamentos de Lgica
lgebra de Boole
A lgebra de Boole baseada em um conjunto de regras que so derivadas de
um pequeno nmero de Axiomas.
Assumimos que:
lgebra Booleana envolve elementos com dois valores 0 e 1.

Os axiomas so verdade:

1 a. 0.0=0
1 b. 1+1=1
2 a. 1.1=1
2 b. 0+0=0
3 a. 0.1=1.0=0
3 b. 1+0=0+1=1
4 a. Se A=0, ento A=1
4 a. Se A=1, ento A=0
4
Teorema da Dualidade
Transformando por +, + por , 1 por 0, e 0 por 1
Mantendo-se os literais (variveis)
A expresso dual de uma determinada expresso
booleana obtida.
Exemplo: a0=a
Dual:
D D
a0 =a a 1=a
O dual de um enunciado verdadeiro tambm
verdadeiro!
Qualquer teorema provado o seu dual tambm est
provado.
Meta teorema (teorema acerca de teoremas)
5
Fundamentos de Lgica
Regras da lgebra de Boole
1. Identidade (Zero e Um)
5a. A .0=0
5b. A+1=1
6a. A .1= A
6b. A+0= A
2. Idempotncia
7 a . A . A= A
7 b . A+ A= A
3. Complemento
8 a . A . A=0
8 b . A+ A=1
4. Involuo
9. A= A
6
Fundamentos de Lgica
Regras da lgebra de Boole
1. Comutativa
10 a . A . B=B . A
10 b . A+B=B+ A
2. Associativa
11 a . A .(B . C)=( A . B). C= A . B . C
11 b . A+(B+C)=( A+B)+C= A+B+C
3. Distributiva
12 a . A .(B+C)= A . B+ A . C
12 b . A+(B . C)=( A+B).( A+C)
( A+B).( A+C)= A+(B . C)

7
Fundamentos de Lgica
Regras da lgebra de Boole
1. Absoro
13 a . A+ A . B= A
13 b . A .( A+B)= A
14 a . A+ A . B= A+B
14 b . A .( A+B)= A. B
2. Adjacncia lgica

15 a . A . B+ A . B= A
15 b . ( A+B).( A+B)= A
3. Consenso

16 a . A . B+ A . C +B . C= A . B+ A. C
16 b . ( A+B).( A+C).(B+C)=( A+B).( A+C)

8
Fundamentos de Lgica
Regras da lgebra de Boole
1. Absoro - Prova
13 a . A+ A . B= A
13 a . A .1+ A . B= A
13 a . A .(1+B)= A
13 a . A .1= A
13 a . A= A
13 b. A .( A+B)= A
13 b. ( A+0).( A+B)= A
13 b. A+(0. B)= A
13 b. A+0= A
13 b. A= A

9
Fundamentos de Lgica
Regras da lgebra de Boole
1. Absoro - Prova
14 a . A+ A . B= A+B
14 a . ( A+ A).( A+B)= A+B
14 a . 1.( A+B)= A+B
14 a . A+B= A+B
14 b . A .( A+B)= A. B
14 b . A . A+ A . B= A . B
14 b . 0+ A . B= A . B
14 b . A . B= A. B

10
Fundamentos de Lgica
Regras da lgebra de Boole
1. Adjacncia lgica - Prova
15 a . A . B+ A . B= A
15 a . A .(B+B)= A
15 a . A .1= A
15 a . A= A
15 b . ( A+B).( A+B)= A
15 b . A+(B . B)= A
15 b . A+0= A
15 b . A= A

11
Fundamentos de Lgica
Regras da lgebra de Boole
1. Consenso - Prova
16 a . A . B+ A . C +B . C= A . B+ A. C
16 a . A . B+ A . C +B . C .( A+ A)= A . B+ A. C
16 a . A . B+ A . C +B . C . A+B . C . A= A. B+ A . C
16 a . A . B+ A . B . C+ A . C+ A . C . B= A. B+ A . C
16 a . A . B .(1+C)+ A. C .(1+B)= A . B+ A . C
16 a . A . B .1+ A. C .1= A . B+ A. C
16 a . A . B+ A . C= A. B+ A. C

12
Fundamentos de Lgica
Regras da lgebra de Boole
1. Consenso - Prova
16 b . ( A+B).( A+C).(B+C)=( A+B).( A+C)
16 b . ( A+B).( A+C).((B+C)+ A. A)=( A+B).( A+C)
16 b . ( A+B).( A+C).(B+C + A).(B+C + A)=( A+B).( A+C)
16 b . ( A+B).( A+B+C).( A+C).( A+C +B)=( A+B).( A+C)
16 b . (( A+B)+(0. C)).( A+C)+(0. B)=( A+B).( A+C)
16 b . ( A+B+0).( A+C +0)=( A+B).( A+C)
16 b . ( A+B).( A+C)=( A+B).( A+C)

13
Fundamentos de Lgica
Regras da lgebra de Boole
1. Teorema de DeMorgan
17 a . x . y =x + y
17 b . x + y =x . y

14
Fundamentos de Lgica
Teoremas de De Morgan
Usados para simplificar expresses booleanas
1o Teorema:
Complemento do Produto igual Soma dos Complementos
A . B= AB

Prova Sadas Iguais

A B A.B A B A+B

0 0 1 1 1 1

0 1 1 1 0 1

1 0 1 0 1 1

1 1 0 0 0 0

15
Fundamentos de Lgica
Teoremas de DeMorgan
Usados para simplificar expresses booleanas
2o Teorema:
Complemento do Soma igual ao Produto dos Complementos
AB= A . B

16
Exerccio

Prove o 2o Teorema de DeMorgan

17
Soluo
Prova do 2o Teorema:
2o Teorema:
Complemento do Soma igual ao Produto dos Complementos
AB= A . B
Prova
Sadas Iguais

A B A+B A+B A B A.B

0 0 0 1 1 1 1

0 1 1 0 1 0 0

1 0 1 0 0 1 0

1 1 1 0 0 0 0

18
Fundamentos de Lgica
Expresses Boolenas
Todo circuito lgico executa uma expresso booleana

Exemplo: Obter a expresso do circuito abaixo

S1=A.B

A S 1 Expresso Final
B S
S=(A.B)+C
C
S=S1+C

19
Exerccios
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 1:

A
B S
C
D

20
Exerccios
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 2:

A
B
C S

21
Exerccios
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 3:

A
B
C S

22
Exerccios
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 4:
A
B

C S
D

23
Solues
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 1:

A A+B
B S
C C+D Expresso Final
D S=(A+B).(C+D)

24
Solues
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 2:

A A.B
B
C
C S
Expresso Final
C.D S=(A.B)+C+(C.D)
D

25
Solues
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 3:

A A.B
B
B.C
C S
Expresso Final
B+D
D S=(A.B).(B.C).(B+D)

26
Solues
Expresses Boolenas
Obtenha a expresso booleana a partir do circuito lgico

Circuito 4:
A A.B
B
A.B A.B+A.B+C

C S
C+D
Expresso Final
D
S= [(A.B) +(A.B) +C].(C+D)

27
Fundamentos de Lgica

At aqui:
Obtemos a expresso booleana a partir do circuito

Prximos passos:
-Obter o circuito lgico a partir da expresso
-Obter a tabela verdade a partir da expresso
-Obter a expresso a partir da tabela verdade

28
Fundamentos de Lgica

Obter Circuito Lgico a partir da Expresso


Mtodo: Identificar as portas lgicas na expresso e
desenh-las com as respectivas ligaes

Exemplo: obter o circuito que executa a expresso


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

29
Fundamentos de Lgica

Obter Circuito Lgico a partir da Expresso


Soluo:
S=(A+B).C.(B+D)

1 2
Circuito Obtido
3
A S 1
A B
1 B
S1

S S
2
D
B
2 D
S2

C
S1
3 S2 S
C

30
Exerccios

Obter os circuitos que executam as seguintes


expresses booleanas:
1. S=A.B.C+(A+B).C

2. S=[(A+B)+(C.D)].D

3. S=[(A.B)+(C.D)].E+A.(A.D.E+C.D.E)

31
Solues

Obter os circuitos que executam as seguintes


expresses booleanas:
1 2 4

1. S=A.B.C+(A+B).C
3 Circuito Obtido

A S 1
B S
A C
1 B S 1
C A S 2
B
A
2 B S 2
S 3
C
A S 2
3 B
S 3
C
S
4 1
S
S 3
4

32
Solues

Obter os circuitos que executam as seguintes


expresses booleanas:
1 2

2. S=[(A+B)+(C.D)].D

A S1
S
1 1 3 S2 S 3
B

C S 3
2 S 2 4 S
D D 4

33
Solues
Obter os circuitos que executam as seguintes
expresses booleanas:

2. S=[(A+B)+(C.D)].D
A A B B C C D D

Circuito Obtido

S 1

S 3

S S
2

34
Solues

Obter os circuitos que executam as seguintes


expresses booleanas:

3. S=[(A.B)+(C.D)].E+A.(A.D.E+C.D.E)
1 2 3 4

5 6

A C
1 S S
1 4 D 4
B E

C
S
2 S 5 S 1
S 5
D 2
2

A
S S
6
3 3
3 D S S 6
4

35
Solues

Obter os circuitos que executam as seguintes


expresses booleanas: 8
7

3. S=[(A.B)+(C.D)].E+A.(A.D.E+C.D.E)
1 2 3 4 9

5 6

S
7 5
S
E 7

S 6
S
8 8
A

S
9 S 7
S 9
8

36
Solues
Obter os circuitos que executam as seguintes
expresses booleanas:

3. S=[(A.B)+(C.D)].E+A.(A.D.E+C.D.E)
A A B B C C D D E E
Circuito Obtido

S 1
S 5 S 7
S 2

S S S
3 6

S 4 S 8

37
Prxima Aula

Obter circuito a partir da expresso: Exerccios


Obter a tabela verdade a partir da expresso

38
Resumo da Aula de Hoje

Tpicos mais importantes:

Entregar folha com:


Nome
Registro ou Matrcula
Data de Hoje
Resumo

39