03 INTRODUCCIN A LOS CIRCUITOS LGICOS. EJERCICIOS.

I. LGICA PROPOSICIONAL

1. Obtn la tabla de verdad de las siguientes funciones:

a) S= A B + A' B'
b) S= A' B' C + A B' C' + A B
c) S= A' B' + A B + C

2. Demuestra mediante una tabla de verdad que:

(a b) + (a b ') + (a ' b) + (a ' b ') = 1

3. Demuestra mediante una tabla de verdad que:

(a b) (a b ') (a ' b) (a ' b ') = 0

4. Comprueba por tabla de verdad que (A+B) = AB

5. Comprueba por tabla de verdad que (AB) = A + B

6. Dadas las proposiciones A: mltiplo de 2, B: mltiplo de 3, C: nmero primo. Construir

la funcin lgica representativa de
a. Mltiplo de 2 y mltiplo de 3, o bien, nmero primo.
b. No es mltiplo de 2 y s es mltiplo de 3 o primo.
c. Es mltiplo de 2 o mltiplo de 3 y no es nmero primo.
d. No es mltiplo de 2 y, sin embargo, es mltiplo de 3 y primo.

7. Dadas las proposiciones A: mltiplo de 2, B: mltiplo de 3, C: nmero primo, D: nmero

mayor de 100, E: cuadrado perfecto.
Construir las siguientes proposiciones
a) A+B b) AB c) (CD)+E d) (A+BD) e) A+B f) BE

II. LGEBRA DE BOOLE

8. Verificar que p + ( p q ) ' es una tautologa.

a) Hacerlo por tabla de verdad.
b) Por lgebra de Boole

9. Verificar que p q ( p + q ) es una contradiccin.

a) Hacerlo por tabla de verdad.
b) Por lgebra de Boole.

10. Demuestra por lgebra de Boole que:

(a b) + (a b ') + (a ' b) + (a ' b ') = 1

11. Demuestra por lgebra de Boole que:

(a b) (a b ') (a ' b) (a ' b ') = 0

12. Simplificar (a b) '+ a

13. Simplificar a b '+ a b

14. Simplificar a + ( a b + b)

15. Es la expresin B+C igual a ABC+ABC+C ?

16. Simplifica la expresin ( A + A)( B0) + ( A + 1)(C C ') + (C + C ')( A A)

17. Simplificar a b + a b + a b

18. Minimizar a b + a + b

19. Minimizar a b c + a b c + a b c + a b c + a b c

20. Minimizar a b c + a b c + a b c

21. Minimizar a b c + a b c + a b c + a b c

22. Calcula la negacin de AB + C ' D + A + B

23. Simplifica las siguientes funciones lgicas:

a) S = ABC+ABC'
b) S = ABC+AB'C+CD+C'D
c) s = ab' + a' + a'b'
d) s = ab' + abc' + a'bc + a'bc' + ab'c

24. Simplificar la expresin Booleana: AB(C + BD) + A B C

25. Simplificar las siguientes expresiones Booleanas:
a) AB + ( ) ( ) (
A B + C + B B + C ; b) AB C + BD + AB CD
)
c) ABC + ABC + ABC + ABC ; d) AB + AC + ABC ; e) A + AB + ABC
f) ( A + B ) C + ABC
26. Simplificar la siguiente expresin:
((ab)c)+((ab)c))+(ab)

27. Simplificar la siguiente expresin:

(ab)+(ab)+(ab)+(ab)

28. Simplificar la siguiente expresin:

(a(bc))+(((a+b)+c))

III. PUERTAS LGICAS

29. Haz una representacin proposicional de este circuito y completa su tabla de verdad:

30. Simplificar la expresin: AB + A(B + C) + B(B + C) (Sol: B + AC)

31. Escribir la expresin algebraica de los siguientes circuitos y simplificarlos

32. Simplificar el siguiente circuito

33. En una oficina queremos poner un punto de luz que se pueda accionar mediante un
interruptor. Para ahorrar energa se incorporarn dos sensores que detectan la
intensidad de luz que entra por cada una de las dos ventanas del local, de modo que si
la luz es suficiente (entra por las dos ventanas) la bombilla estar apagada.
a) Identificamos las entradas:
A: interruptor. 0: abierto 1: cerrado
B: Sensor de luz. 0: sin luz natural 1: luz natural
C: Sensor de luz. 0: sin luz natural 1: luz natural
b) Segn esos casos indica cul sera la salida S en funcin de los estados de las
entradas mediante una tabla de verdad.
c) Dibuja un circuito con las correspondientes puertas lgicas que simule la situacin.

34. Un sistema de aire acondicionado se pondr en marcha automticamente cuando un

sensor detecte que la temperatura es mayor que 25C, a no ser que el interruptor
general est apagado o un sensor detecte que hay ventanas abiertas.
a) Identificamos las entradas:
A: Interruptor general 0: apagado 1: encendido
B: Sensor temperatura 0: <25C 1: >25C
C: Sensor ventanas 0: cerradas 1: abiertas
b) Segn esos casos indica cul sera la salida S en funcin de los estados de las
entradas mediante una tabla de verdad.
c) Dibuja un circuito con las correspondientes puertas lgicas que simule la situacin.