Elementos de Lgica y Matemtica Discreta

Trabajo Prctico N 9:

L GE B R A DE B OOL E
Ejercicio 1 : Probar las siguientes afirmaciones, utilizando solamente las propiedades que definen a un lgebra Booleana. Dar una razn para cada paso. a) x . (y + x . z) = x . y + x . z c) x + y + y . x = x + y b) (x + y) . (x + y) = y d) (x . y ). z + y . z = y . z

Ejercicio 2 : Para las afirmaciones del ejercicio anterior expresar su dual. Ejercicio 3 : Dadas las siguientes expresiones booleanas, construir su tabla de verdad. a) (A + B) . ( B + C) . ( A + C) c) A . (B . C + B . C ) Ejercicio 4 : Simplificar las siguientes expresiones y dibujar el circuito lgico de compuertas para las expresiones simplificadas. a) A B + A B c) A B C + A B C + A B C b) A B C + A B d) A B (A B C + A B C + A B C b) ABC + A B C + A B C

Ejercicio 5 : Complementar y reducir las siguientes expresiones a) A B + B + A B c) A (B C + B C ) b) A B C + A B d) A B + A B (B C + A B )

Ejercicio 6 : Convertir las siguientes expresiones a la forma de suma de productos. a) ( A + B ) ( C + B ) c) ( A + B) (A C + (B + C )) b) (A + B C ) ( A B + A D) d) ( A + C) (A B + A B + A C)

Ejercicio 7 : Escribir las expresin booleana para F1 , F2 y F3 de la siguiente tabla, en forma de suma de productos. Simplificar cada expresin y dibujar el circuito lgico. ENTRADAS A B C 0 0 0 0 0 1 0 1 0 0 1 1 1 0 0 1 0 1 1 1 0 1 1 1 SALIDAS F1 F2 F3 0 1 1 1 0 1 1 0 1 0 1 1 1 1 1 1 0 0 0 0 0 0 1 0

lgebra de Boole

Elementos de Lgica y Matemtica Discreta

Ejercicio 8 : Dados los siguientes circuitos lgicos, escribir simblicamente los datos de salida para cada compuerta y dar la expresin booleana que representa a cada circuito. a) b)

c)

Ejercicio 9 : Demostrar que los siguientes circuitos son equivalentes. a)

b)

Ejercicio 10 : Dibujar el mapa de Karnaugh de las expresiones dadas en el ejercicio 3 y dar la mnima expresin booleana. Ejercicio 11 : Construir el mapa de Karnaugh para las siguientes funciones, y determinar una expresin booleana para la misma. a) A 0 0 1 1 B 0 1 0 1 f (A , B) 1 0 0 1 b) A 0 0 1 1 B 0 1 0 1 f (A , B) 0 0 1 1

Elementos de Lgica y Matemtica Discreta c) 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 f (A , B , C) 0 0 1 1 0 1 0 1 d) A 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1

lgebra de Boole C 0 1 0 1 0 1 0 1 f (A , B , C) 1 0 0 0 1 0 1 1

Ejercicio 12 : Dados los siguientes mapas de Karnaugh determinar la expresin booleana para las funciones que representan. a) b) B B B B A A c) B A A 1 1 C e) C 0 A 0 1 0 D 0 0 0 1 D 1 1 0 1 C 1 1 1 0 D B B A B 0 A 0 1 0 D 1 0 C 1 0 B 1 1 C f) C 1 0 0 0 D 1 1 0 1 C 0 1 1 0 D B B A A 0 1 C 1 0 0 1 d) B 1 1 C 0 0 B 1 1 C A A 1 0 1 1

lgebra de Boole g) C 1 A 1 1 1 D 1 1 1 0 D 1 1 0 0 C 1 0 0 0 D B B

Elementos de Lgica y Matemtica Discreta h) C 1 A 0 1 1 D 1 0 1 1 D 1 1 1 1 C 1 0 1 1 D B B

A B

E j er ci ci os P r opues t os
Ejercicio 1 : Probar las siguientes afirmaciones, utilizando solamente las propiedades que definen a un lgebra Booleana. Dar una razn para cada paso. a) x + (x . y + y) = (x + y) (y + 1) c) x + y = x + (x. y + x . y) b) (x + y) . z = (( x+ z ) ( y + z ))

Ejercicio 2 : Para las afirmaciones del ejercicio anterior expresar su dual. Ejercicio 3 : Dadas las siguientes expresiones booleanas, construir su tabla de verdad. a) B C + A B + A C c) A B C + A B C + C A B Ejercicio 4 : Simplificar las siguientes expresiones y dibujar el circuito lgico de compuertas para las expresiones simplificadas. a) A B + A B C + A B C + A C B b) A B C + A B C + A B C + A B C c) A . (A + B + C) ( A + B + C) (A + B + C) (A + B + C ) Ejercicio 5 : Complementar las siguientes expresiones. a) A (B + C ) b) A B ( B C + A C ) c) A B + (A C + B ) C b) A + B C + C

Ejercicio 6 : Convertir las siguientes expresiones a la forma de suma de productos. Simplificar cuando sea posible a) (A + C) (B + D) b) (A + C + D) (B + D + C) c) (A B + C + D C) (A B + B C + D)

Elementos de Lgica y Matemtica Discreta

lgebra de Boole

Ejercicio 7 : Dados los siguientes circuitos lgicos, escribir simblicamente los datos de salida para cada compuerta y dar la expresin booleana que representa a cada circuito. a) b)

Ejercicio 8 : Dibujar el mapa de Karnaugh de las expresiones dadas en el ejercicio 3 y dar la mnima expresin booleana. Ejercicio 9 : Construir el mapa de Karnaugh para las siguientes funciones, y determinar una expresin booleana para la misma. a) A 0 0 1 1 A 0 0 0 0 1 1 1 1 B 0 1 0 1 B 0 0 1 1 0 0 1 1 f (A , B) 0 1 0 1 C 0 1 0 1 0 1 0 1 f (A , B , C) 1 1 1 0 0 0 0 1 b) A 0 0 1 1 A 0 0 0 0 1 1 1 1 B 0 1 0 1 B 0 0 1 1 0 0 1 1 f (A , B) 1 0 0 0 C 0 1 0 1 0 1 0 1 f (A , B , C) 0 0 0 0 1 1 1 1

c)

d)

Ejercicio 10 : Construir el mapa de Karnaugh para las siguientes funciones, y determinar una expresin booleana para la misma. a) b) B B B B A A 0 0 1 1 A A 0 1 C 1 0 C 1 0 0 1 C

lgebra de Boole c) B A A 1 1 C 0 1 C 1 0 B 1 1 C

Elementos de Lgica y Matemtica Discreta d) C 1 A 1 1 1 D 0 0 1 0 D 1 1 0 0 C 1 1 0 1 D B B

e) C 1 A 1 1 1 D 1 1 1 1 D 0 1 1 0 C 1 0 0 1 D B B

f) C 0 A 1 0 1 D 1 1 1 1 D 1 0 1 0 C 0 0 0 0 D B B

A B

R es pues t as a Al gunos E j er ci ci os
Ejercicio 2: a) x +(y .(x+z)) = (x+y).(x+z) c) x.y . (y+x`) = x .y Ejercicio 4: a) A Ejercicio 5: a) B Ejercicio 6 : a) A C + B Ejercicio 7 : F1 = B C + A B + A B C b) x.y + x.y = y d) ((x+y) + z) . (y+z) = y+z

b) A B

c) A C + AB C

d) AB B

b) B+ A C

c) A +C

d) A B+ B A

b) A B C D

c) B + A C

d) AC

F2 = B C + BC

F3 = A + B C

Elementos de Lgica y Matemtica Discreta Ejercicio 8 : a) A + B C D c) AB + C D C D E

lgebra de Boole

b) (A + B + C) D + D D + (A + B + C ) D

Ejercicio 10 : a) AC + BC Ejercicio 11 : a) AB + A B Ejercicio 12 : a) A B + AB b) A + B c) A + C d) B C + A B + B C o

b) ABC + B C b) A c) AC + A B

c) A C

d) B C + AB

e) A C + AB D + A B D f) B C D + A B D + A B C + A B D g) A B + C D + A D + B C h) A + B + C D B C + BC + AC