Universidad de Alcal Departamento de Electrnica

Electrnica Informtica de Gestin

Problemas Tema II

lgebra de Boole Sistemas y cdigos de numeracin

2.1 Obtener la tabla de verdad de cada una de las siguientes funciones lgicas: d) F4 = ( a + b) (c + d ) (b + a ) e) F5 = a b + c d a + (a b ) f) F6 = ( c + d ) ( a b)

a)

F1 = a b + a b

b) F2 = (a b c + a c ) d c) F3 = ( a b) c d Solucin: a)
a 0 0 1 1 b 0 1 0 1 F1 0 1 1 0

b)

a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F2 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0

c)

a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

F3 0 1 0 1 0 1 0 0 0 1 0 0 0 1 0 1

2.2 Representar el circuito en puertas lgicas correspondiente a las funciones siguientes: a) F1 = (a b c + a c) d Solucin: a)
a b c

b) F2 = (a 1 + a 2 ) b c

c) F3 = ( a + b) (a + b) ( b + c)

F1 d

b)

a1 a2 b c F2

c)
a b

F3

2.3 Extraer las dos formas cannicas (en minterms y en maxterms) de las siguientes tablas de verdad:
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 F1 0 0 0 1 1 1 0 1 a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 F2 0 0 0 1 0 0 0 1 0 0 0 0 0 1 0 0 a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 F3 0 1 0 0 0 1 1 1 0 1 0 0 1 1 0 1

a)

b)

c)

Solucin: a) Forma cannica en minterms: F1 = a b c + a b c + a b c + a b c

Forma cannica en maxterms: F1 = (a + b + c) (a + b + c) (a + b + c) (a + b + c) b) Forma cannica en minterms: F2 = a b c d + a b c d + a b c d Forma cannica en maxterms: F2 = (a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d )

(a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d )
F3 = a b c d + a b c d + a b c d + a b c d + a b c d +

c) Forma cannica en minterms: + abcd + a bcd + a bcd Forma cannica en maxterms: F3 = (a + b + c + d ) (a + b + c + d ) (a + b + c + d) (a + b + c + d) ( a + b + c + d ) (a + b + c + d ) (a + b + c + d ) (a + b + c + d )

2.4 Expresar las siguientes funciones en sus dos formas cannicas (maxterms y minterms): a) F1 = ( a + b) ( b + c ) ( a + c ) b) F2 = a b + a c + b c c) F3 = a + ( b c )

Solucin: a) En minterms: F1 = a b c + a b c + a b c + a b c En maxterms: F1 = ( a + b + c) ( a + b + c ) ( a + b + c ) ( a + b + c )

b) En minterms: F2 = a b c + a b c + a b c + a b c + a b c En maxterms: F2 = (a + b + c ) (a + b + c ) (a + b + c ) c) En minterms: F3 = a b c + a b c + a b c + a b c + a b c + a b c + a b c En maxterms: F3 = a + b + c

2.5 Implementar con puertas NAND de dos entradas las siguientes funciones: a) F1 = a b c + a b c Solucin: a) F1 = a b c + a b c = a b c a b c
a b

b) F2 = ( a + b) ( a + b + c )

c F1

b) F2 = ( a + b) ( a + b + c ) = a b a b c
a b F2

2.6 Implementar con puertas nor de dos entradas las siguientes funciones: a) F1 = a b c a c b) F2 = ( a + b) ( a + b + c )

Solucin:

a) F1 = a b c a c = a + b + c + a + c
a b c F1

b) F2 = ( a + b) ( a + b + c) = ( a + b) + ( a + b + c )
a b

F2

2.7 Simplificar por el mtodo algebraico las siguientes expresiones: a) [ a ( b c ) ] b) ( a + b ) ( c + a ) c) [ ( a b) a] + ( b a ) d) a b c + a b c + a b c d e) a b c d + a b + a b d ( e + f )

Solucin: a) a + b + c b) a ( b + c) c) b

d) a c + a b c d e) a b

2.8 Realizar un circuito lgico lo ms simplificado posible para la activacin de una lmpara, empleando tres interruptores, de forma que la lmpara solamente se encienda cuando est activado un slo interruptor o los tres simultneamente.

Solucin: Tabla de verdad:

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 L 0 1 1 0 1 0 0 1

L=0 (lmpara apagada) L=1 (lmpara encendida) a,b,c=0 interruptor apagado a,b,c=1 interruptor encendido

L = a b c + a b c + a b c + a b c = a (b c + b c ) + a (b c + b c ) = = a (b c ) + a (b c ) = a b c a b
L

2.9 Disear un circuito lgico, empleando exclusivamente puertas nand, que detecte los nmeros primos entre el 0 y el 15, representados en binario natural. Considrese el cero como nmero no primo. Solucin: Tomando el nmero A(d,c,b,a) de entrada con d como mayor peso y a como menor peso, la funcin resultante en puertas NAND es la siguiente: f = d cb c bac bad a

Implementacin de la funcin anterior con puertas NAND de dos entradas:

d c b a

2.10 Se dispone de una prensa que se pone en marcha mediante la actuacin simultnea de tres pulsadores: p1, p2 y p3. si se pulsan solamente dos cualesquiera, la prensa funcionar, pero se activar una lmpara indicando manipulacin incorrecta. cuando se pulse un slo dispositivo, tambin se encender la lmpara, pero no se activar la prensa. disear el circuito correspondiente utilizando nicamente puertas nand de dos o tres entradas. Solucin: Tabla de verdad:
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 P 0 0 0 1 0 1 1 1 L 0 1 1 1 1 1 1 0

P=prensa (1 si funciona y 0 si no funciona) L=Lmpara (1 si se enciende y 0 si no se enciende) a, b y c representan los tres pulsadores, ponindose a 1 cuando stos estn activados. P = a bbcac L = a b cabc

El circuito lgico resultante es el siguiente:

c b a