Departamento de Computao

Introduo Lgica

Lucia Helena Machado Rino

Introduo Lgica Exerccios de lgebra de Boole

Lucia Helena Machado Rino

Voc tem aqui exerccios genricos sobre lgebra de Boole

Use o Princpio do Isomorfismo, para adaptar as propriedades do Clculo Proposicional a esta lgebra.

Introduo Lgica

Semestre 1

1. Prove analiticamente todas as propriedades da lgebra de Boole, usando o Princpio do Isomorfismo visto em sala de aula. 2. Simplifique as expresses abaixo utilizando as propriedades conhecidas da lgebra Booleana. Especifique a propriedade usada em cada passo. 2.1. (A B)+ (B C) 2.2. (A + B + C) (A B C) C 3. Mostre que os parnteses so necessrios para escrever expresses que resolvam mais de uma das operaes de soma (+) e produto (*). Sugesto: Considere A B + C e veja como ele pode ser interpretado com diversas formas de parentizao. Pode usar induo finita1. 4. Prove que: 4.1. (A + B) A = B A 4.2. (A + B) B = B 5. Simplificar as seguintes proposies: 5.1. 5.2. 5.3. 5.4. (p q) (p q) p (p q) (p q) (p + q) p (p q) p 7.1. (p (p p) ) p 7.2. [ (p q) (q r) ] (q (q r) p q r

6. Prove a regra da exportao-importao: 7. Mostre a equivalncia entre as expresses dadas abaixo: r)

8. Diga quais das seguintes so formas sentenciais e, para essas, diga quais so os conectivos principais. 8.1. (((A + B) A) A) 8.2. ((((A B) A) A) + B) 8.3. (((A + B) + C) B) 9. Elimine o mximo de parnteses possvel das seguintes expresses: 9.1. ({[(A + B) + C] [A + (B)]} A) 9.2. ((A (B + C)) (A B)) 10. Mostre que A logicamente equivalente a B se e s se A implica logicamente B e B implica logicamente A, isto , A B se e s se (A B) (B A) 11. verdade que x + y = (x + y + z) (x + y+ z)? Justifique sua resposta. 12. Determine o complemento de cada uma das seguintes expresses e, ento, simplifique-as: 12.1. x(y + z) (x + y + z) 12.2. w+ (x+ y + yz) (x + yz) 12.3. A[B + C(D + E)]
1

Ateno: a tabela-verdade uma das formas de provar por induo finita e consiste na prova exaustiva, enumerando os possveis valores-verdade das frmulas envolvidas na expresso booleana.
2

Exercicios-AlgebraBoole

Introduo Lgica

Semestre 1

13. Demonstre, sem usar induo perfeita, se cada uma das seguintes equaes vlida: 13.1. (x + y) (x+ y) (x + y) (x+ y) = 0 13.2. xy + xy+ xyz = xz + xy+ xyz 14. Sabendo-se que as variveis de comutao p e q so verdadeiras e r e s so falsas, interprete logicamente cada uma das seguintes expresses de comutao: 14.1. ((r + p) + (s + q)) = (r+p) (s+q) = r psq = 0* psq = 0 14.2. r p q = r + pq = 0 + pq = pq = 1 14.3. (((p + q) + r) s) ATENO: p e q verdadeiras p=q=1 r e s falsas r=s=0
15. Considere a seguinte tabela-verdade, que d a soma (s) de dois nmeros A e B, de um nico dgito, levando em conta um transporte (carry C) de uma adio anterior: A 0 0 1 1 0 0 1 1 Ache as funes s (A, B, C) = (1,2,4,7) c (A, B, C) = (0,1,2,4) considerando que o cdigo ABC representa um nmero binrio, ou seja, x = (ABC)2 tal que 0 x 7. 16. Dadas as seguintes formas normais cannicas, monte as respectivas tabelas-verdade: 16.1. T1(x1, x2, x3) = x1x2x3 + x1x2x3 + x1x2x3 + x1x2x3 16.2. T2(x,y,z) = (0,1,4,5,6) B 0 1 0 1 0 1 0 1 C 1 1 1 1 0 0 0 0 s 1 0 0 1 0 1 1 0 c 0 1 1 1 0 0 0 1

17. Determine a FNC para cada uma das seguintes expresses: 17.1. (p p+ q q) 17.2. p p 18. Determine a FND de cada uma das seguintes proposies: 18.1. (p p) 18.2. p p 18.3. (p p) 18.4. (p q) + p 19. Para cada uma das seguintes formas seqenciais, ache uma equivalente FND: 19.1. (A + B) (B + C) 19.2. A + (B C) 20. Para cada uma das seguintes formas seqenciais, ache uma equivalente FNC: 20.1. ( B) + ( C)
3

Exercicios-AlgebraBoole

Introduo Lgica

Semestre 1

20.2.

A + B C

21. Repita o exerccio anterior achando as formas cannicas soma-de-produtos. 22. Efetue o que est sendo pedido: o o Transforme as expresses de comutao abaixo em formas normais, quando possvel. Diga se as formas normais esto em sua forma disjuntiva (FND) ou conjuntiva (FNC). 22.1. 22.2. (x + y) z [x (y+ z) + z]

23. Reconhea, nas operaes abaixo, os smbolos conectivos da lgebra de Boole, assim como os smbolos de variveis de comutao. Delimite e denomine cada orao por smbolos do alfabeto romano (p. ex., p, q, etc.) sempre que necessrio e construa as expresses de comutao correspondentes, utilizando seus conectivos e smbolos de variveis. Parentize, se necessrio. 23.1. 23.2. 23.3. 23.4. x maior que 5 e menor que 7 ou x no igual a 6. se x menor que 5 e maior que 3, ento x igual a 4. y igual a 4 e se x menor y, ento x menor que 5. se x menor que 2, ento x = 1 ou x = 0.

24. Mostre a validade da proposio r a partir do conjunto de axiomas A, dado a seguir2: p q p+r q Observaes: o Uma expresso r vlida se o conjunto de axiomas (A) permitir que A tautologia o Neste caso, A r, ou seja, r pode ser deduzido do conjunto A. o Uma expresso tautolgica se sua interpretao for sempre igual a 1. r seja uma

25. Dada a funo f abaixo, simplifique-a e diga se o circuito de comutao baseado na funo resultante ser mais ou menos complexo que o original. f(x1 , x2 , x3) = [(x1 x3) + (x2 x3)] 26. Converta a expresso T = x1 x2 + x1 x3 + x2x3 em sua FND completa equivalente. Verifique se ela cannica. Busque sua FNC sem utilizar o mapa de Karnaugh. 27. PEDE-SE: 27.1. Ache as expresses mnimas soma-de-produtos e produto-de-somas para a funo: f (w,x,y,z) = (1,4,5,6,11,12,13,14,15) 27.2. Sua resposta nica? 28. Ache todas as funes mnimas de 4 variveis que tm valor 1 quando os mintermos 4,10,11,13 so iguais a 1 e tm valor 0 quando os mintermos 1,3,6,7,8,9,12,14 so iguais a 1. 29. Dada a seguinte tabela-verdade para as funes de comutao f1, f2 e f3:

Ver Teorema T1, do Clculo Proposicional.

4

Exercicios-AlgebraBoole

Introduo Lgica

Semestre 1

x 0 0 0 0 1 1 1 1

y 0 0 1 1 0 0 1 1

z 0 1 0 1 0 1 0 1

f1 0 0 1 1 0 0 1 1

f2 0 1 1 0 0 1 1 0

f3 1 1 1 0 0 1 1 1

d as formas soma-de-produtos e produto-de-somas para essas funes de modo que elas sejam mnimas (alm de calcular a forma cannica, deve-se simplific-la aqui). 30. Derive expresses mnimas soma-de-produtos para as seguintes funes: 30.1. f1 (w,x,y,z) = (0,1,2,3,4,6,8,9,10,11) 30.2. f2 (w,x,y,z) = (0,2,4,5,6,8,10,12) 31. Determine a FND das funes: 31.1. f(x,y,z) = z + (x+ y) ( x+y) 31.2. f(x,y,z) = x + (x + y+ xz) 31.3. Diga se ambas as expresses acima esto em sua forma reduzida. Se no estiverem, apresente a reduo mxima utilizando o mapa de Karnaugh. 32. PEDE-SE: 32.1. Ache as expresses mnimas soma-de-produtos e produto-de-somas para a funo: f (w,x,y,z) = (1,4,5,6,11,12,13,14,15) 32.2. Sua resposta nica? 32.3. Determine a soma-de-produtos mnima para: f (w,x,y,z) = (0,2,4,9,12,15) 33. Dadas as formas cannicas T1 e T2 abaixo, pede-se: 33.1. Monte suas respectivas tabelas-verdade 33.2. Desenvolva a expresso de comutao cannica de T2 33.3. Produza as respectivas formas reduzidas de ambas as expresses usando o mtodo que achar conveniente. T1(x,y,z) = xyz + xyz + xyz + xyz T2(x,y,z) = (0,1,4,5,6)

Funes e simplificao
34. Uma funo majoritria M(x,y,z) igual a 1 quando dois ou trs de seus argumentos so 1. PEDE-SE: 34.1. Determine sua expresso lgica e simplifique-a. 34.2. Avalie a funo custo antes e depois da simplificao, considerando que o custo dado pelo nmero de termos somado ao nmero de literais da expresso de comutao em foco. 35. Um sistema de ar condicionado de um depsito de material deve ser ligado se uma ou mais das seguintes condies ocorrerem:
5

Exercicios-AlgebraBoole

Introduo Lgica

Semestre 1

O peso do material armazenado menor que 100 ton, a umidade relativa do ar de pelo menos 60% e a temperatura ambiente est acima de 15C. O peso do material armazenado de 100 ton ou mais, a temperatura ambiente est acima de 15C. O peso do material armazenado menor que 100 ton e a presso atmosfrica igual ou superior a 30.

Designando as seguintes proposies: P: peso de 100 ton ou mais (p 100) U: umidade relativa do ar de pelo menos 60% (U 60%) T: temperatura acima de 15C (T > 15) Pr: presso atmosfrica de 30 ou mais (P 30) e a funo f = f(P,U,T,Pr) tal que f(P,U,T,Pr) = 1 quando o sistema de ar condicionado est ligado, PEDE-SE: 35.1. Especifique a funo de comutao f com base nessas proposies. 35.2. Verifique se possvel minimiz-la usando o mapa de Karnaugh. Caso seja possvel, apresente a funo simplificada mnima. 36. Considere a seguinte tabela-verdade, de um Somador Serial Binrio (SSB), que d a soma (S) de 2 bits A e B, levando em conta um transporte (T) produzido em um instante de adio anterior. Como resultado, o SSB produz ainda o chamado carry (C), que ser o transporte para o instante posterior.

A 0 0 0 0 1 1 1 1 PEDE-SE: 36.1. Ache as funes

B 0 0 1 1 0 0 1 1

T 0 1 0 1 0 1 0 1

S 0 1 1 0 1 0 0 1

C 0 0 0 1 0 1 1 1

S (A, B, T) = (1,2,4,7) C (A, B, T) = (0,1,2,4) considerando que o cdigo ABT representa um nmero binrio, ou seja, x = (ABT)2 tal que 0 x 7. 36.2. Essas funes so mnimas? Justifique sua resposta. 36.3. Se no forem mnimas, simplifique-as usando as propriedades da lgica booleana. 36.4. Simplifique-as tambm usando o mapa de Karnaugh. 36.5. Compare suas funes simplificadas em (3.3) e (3.4). Se elas forem distintas, discuta a razo e, se possvel, mostre como fazer para que elas sejam iguais, irredutveis e mnimas de fato. 37. Uma sala tem 3 portas com 3 comutadores prximos a cada uma delas. Construa um circuito de comutao que permita que a luz seja acesa ou apagada por qualquer um dos comutadores. 38. Sabendo-se que AB + AB = C, mostre que AC + AC = B 39. Projete circuitos de portas lgicas com 3 entradas (x, y, z) e uma nica sada (S) que dem sinais na sada quando: 39.1. Pelo menos 2 entradas tenham sinal; 39.2. Exatamente 2 entradas tenham sinal. IMPORTANTE: simplifique a expresso sempre que possvel e considere a expresso mnima de representao de S. 40. PEDE-SE: 40.1. Transformar as expresses de comutao abaixo em formas normais, quando necessrio.
6

Exercicios-AlgebraBoole

Introduo Lgica

Semestre 1

40.2. Dizer se as formas normais obtidas esto em sua forma disjuntiva (FND) ou conjuntiva (FNC). (x+y)z (y (z+x)) yz + xy [x (y+z) + z] 41. verdade que x + z = (x + y + z) (x + y+ z)? Justifique sua resposta. 42. Dadas as expresses booleanas abaixo, pede-se: 42.1. Ache suas formas cannicas 42.2. Simplifique cada uma delas 42.3. Considerando funes booleanas em sua forma cannica (quer FNC, quer FND) ou no, sua simplificao mxima com base no mtodo de Karnaugh (isto , a funo equivalente irredutvel) levar sempre s mesmas expresses analticas booleanas? Justifique sua resposta. Pode usar, para isso, as expresses originais, as formas cannicas e as reduzidas, comparando as que so correspondentes. a) x + y + xyz b) (x + xyz) + (x+ xyz) (x + xyz) c) a + ab + abc + abcd + . . . . d) xy + (xy)z e) x(x + y) f) (w + x + y) (wx+ y) (y + z) (w + z) g) (A + B + AB) (A +B) AB

Exercicios-AlgebraBoole