Disciplina: Electrónica Digital Docente: Prof. Doutor.

Manuel Zunguze

Tema: Simplificação de funções e Manipulação algébrica

1. Mostre que a função Equivalência é comutativa e associativa.

Nota: Use o método de tabela

2. Prove a seguinte lei de De Morgan: x + y = x × y .

Nota: Use o método de tabela

3. Escreva a tabela de verdade (Matriz) adequadas para as seguintes funções

booleanas:
( )
a) f (a, b, c) = a b + c ( b + c)

(
b) f (a, b, c, d) = a b + c ( b + d ) )
c) f (a, b, c) = a × c + b × c

4. Prove se as seguintes simplificações são possíveis:

a) w = x × y + y × x × z temos w = x × y + z
b) w = x ( x + y) temos w = x × y
c) w = x ( x + y) + z + z × y temos w = y + z

5. Simplifique as seguintes funções:

a) f ( A, B, C , D ) = (AB + A B )(C + C D ) ;
b) f ( X , Y , Z ) = (X + Y )(XY + Z ) ;
c) (
f ( A, B, C , D ) = ( ABC + D ) B + CD )
d) f ( A, B, C ) = (A + B )(A + A B)(A + B + A BC)
e) f ( A, B, C, D) = ( A + B + C )(B + C + D )
a) f ( X , Y , Z ) = (X + Y )XY + Z
b) f ( A, B, C , D ) = AB + BC + CD

6. Reescreva as seguintes expressões na forma canónica de soma de produtos

f) f ( A, B, C , D ) = (AB + A B )(C + C D ) ;
g) f ( X , Y , Z ) = (X + Y )(XY + Z ) ;
h) (
f ( A, B, C , D ) = ( ABC + D ) B + CD )
i) f ( A, B, C ) = (A + B )(A + A B)(A + B + A BC)
7. Reescreva as seguintes expressões na forma canónica de produto de somas
c) f ( A, B, C ) = AB + B C
d) f ( A, B, C, D) = ( A + B + C )(B + C + D )
e) f ( X , Y , Z ) = (X + Y )XY + Z
f) f ( A, B, C , D ) = AB + BC + CD

8. Expresse as seguintes funções como somas de mintermos

a) f ( A, B, C ) = A + B + C
b) f ( A, B, C ) = (A + B )(B + C )
c) f ( A, B, C , D ) = AB + BCD + A CD

9. Expresse as seguintes funções como produtos de maxtermos

a) f ( A, B, C , D ) = (A + C )D + B D
b) f ( X , Y , Z ) = ( XY + Z )(Y + XZ )
c) f ( A, B, C , D ) = AB CD

10. Para cada uma das funções abaixo:

I. Elabore uma tabela verdade;
II. Expresse a função como uma soma de mintermos;
III. Expresse a função como um produto de maxtermos
IV. Expresse o complemento da função sob a forma de soma de mintermos e de
produto de maxtermos.
a) f ( A, B, C ) = A(B + C )
b) f ( A, B, C ) = (A + B )(A + B + C )(A + C )
c) f ( A, B, C , D ) = (A + B )(C + D )(A + C )

11.Simplifique utilizando Álgebra de Boole.

12.Idem, para a expressão:

13.Desenhe o circuito que execute a expressão simplificada.

14. Simplifique através da Álgebra de Boole:

15.Demostre que:

16.Simplifique as expressões de S1 e S2 da tabela.

17. Determine as expressões simplificadas de S1, S2, S3 e S4 da tabela e desenhe os

respectivos circuitos lógicos.

18.Obtenha a expressão simplificada:

19. Prove que: