repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 EJERCICIOS SOBRE ECUACIONES DEL ALGEBRA BOOLENA Repartido 1 1. Teoremas y leyes de Boole 1.1.

a) f=a b) c) f=b d) f=a e) f) f=a.b.c+e+d.(a.b.c+e) f= a.b.c +a.b.c.d+a.b f=a.b Esto se explica por la generalizacin de la ley de la absorcin, que dice que cuando una expresin bajo la forma de suma de productos aparece un trmino que se encuentra incluido ntegramente en otros de mayor tamao, todos los trmisnos que lo contienen pueden ser eliminados de la suma. Demostracin: sacamos factor comn f = a . b . ( c + c . d + 1 ) f = a . b .1=a . b g) h) f=0 i) j) J. Villagrn f=c.d+a.c.d f=c.(d+a) f=a+b+c+a.b.c 1 f=c.d.(a+b+c) f=(a.c+c).(a+c).(b.c+a+a) f=c.d f=a.b.c+e f=a.b+a.b.c+a.b.c+a.b f=(b+1).a.a+a+c.c+b.0+c f=a.b.c+b.c.(c+1)+a.b.c.(a+a) f=a+c Simplificar las siguientes ecuacines: f=(a.0).(b+b)+(b+b).(a.a)+(b+1).(c.c)

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 f=a.b.c k) l) m) n) o) p) q) r) s) t) u) v) f=a.c+b.d+a+c f= [a.c+(b+c)].d f=b.c+d f= a.b.c+a.c+b f=(a+c).(a+b).(b+c+d) f=a.c+a.b+b.c f=a.c+a.b.c+a.c.d+a.c.e+a.c.f f=a.b.(c+a.b+a)+c+a.c f=a.c+a.b.d.e+b.c.d f=a.c+b.d.(e+c) f=(a+c).(a+b).(b+c+d).(c+d+e) f=c.(a+b)+a.b.d f=(a.c+a.b.c.d)+b.c.d f=a+c+b.d f=a.b.c.d+b.d.e+a.d f=(a+b+c).(b+c+d).(a+d) f=a.b+a.e+d f=(b+c).(a+d) 1.2. S i m p l i f i c a r y obtener la tabla de verdad que corresponde a f a) Su calculo se obtiene sustituyendo cada una de las posibilidades de entrada de a,b,c y d en la anterior ecuacin, y calculando su resultado al aplicar los postulados de la suma, producto y complementacin definidos en la misma. f= a+b f=b.(a+c)+a.c.d f=a.c+b f=a.c+a.e+c.d f=c+a f=c+(b+d)+a

J. Villagrn

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11

f=(a+b.d).a.b.c a b c d f 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 b) a b c d f 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 0

f=a.b+a.b.c+a.b.e+a.b.d (ya esta simplificada) a b c d f 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 0 1 0 1 0 0 1 1 0 0 0 1 1 1 0 a b c d f 1 0 0 0 1 1 0 0 1 1 1 0 1 0 1 1 0 1 1 1 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1

c)

f=a.b+d.e+b.c.e+b.e

J. Villagrn

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 a b c d e f 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 0 0 0 1 0 0 0 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 1 1 0 1 0 0 0 1 0 1 0 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 0 1 1 1 1 0 a b c d e f 1 0 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 1 0 0 0 1 0 1 0 1 1 1 0 1 1 0 1 1 0 1 1 1 1 1 1 0 0 0 1 1 1 0 0 1 1 1 1 0 1 0 1 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 0 1 1 1 1 1 1 0 1 1 1 1 1 1 1

1.3. Obtener la ecuacin definida por las tablas en sus dos formas cannicas.

a) a b f 0 0 0 0 1 1 1 0 1 1 1 0 Para obtener la ecuacin minterms se partimos de las combinaciones de variables ue hacen 1 la funcin, considerando para ello los 0 como la variable negada y 1 como la variable sin negar, y sumamos todos los trminos constituidos por las combinaciones de J. Villagrn 4

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 variables de entrada que hacen 1 a la funcin. f=a.b+ a.b Para llegar a la ecuacin en la forma maxterm partiremos de las combinaciones de variables que hacen 0 la funcin, considerando los 0 como las variables sin negar y los 1 como las variables negadas, y formaremos el producto de todos los trminos constituidos por la suma de las diferentes variables que componen cada combinacin que hace 0 la funcin. f=(a+b).(a+b) b) a b c d f 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 a b c d f 1 0 0 0 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 1 1 1 0 1 1 1 1 1 0 0 1 1 1 1 1

minterms_f=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 maxterms_f=(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)

c)

Ademas simplificar a b c f 0 0 0 1 a b c f 1 0 0 0 5

J. Villagrn

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 0 0 1 0 0 1 0 0 0 1 1 0 1 0 1 1 1 1 0 1 1 1 1 0

maxterms_f=(a+b+c).(a+b+c).(a+b+c).(a+b+c). (a+b+c) Comprobaran que la simplificacin de la ecuacin maxterms es bastante laboriosa y nos da como resultado la funcin minterms. f=a.b.c+a.b.c+a.b.c En muchos casos es mas sencilla una forma cannica que otra. De ahora en adelante partiremos como norma para obtener la ecuacin de una tabla de verdad, de la forma que menos trminos contenga en la salida de dicha tabla (0 o 1).

d)

Ademas simplificar a b c f 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 1 a b c f 1 0 0 1 1 0 1 0 1 1 0 0 1 1 1 1

Utilizamos la forma minterms ya que tenemos menos 1 que 0, entonces: f=a.b.c+a.b.c+a.b.c simplificada_f=b.c+a.b.c e) Ademas simplificar a b c d f J. Villagrn a b c d f 6

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 0 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 1 0 1 0 0 1 0 1 1 1 1 1 0 0 1 1 1 0 1 1 1 1 1 0 1 1 1 1 1 1

Como el menor nmero de combinaciones de variables de entrada es el que hace 0 la funcin, usamos la forma maxterms para representar la f u n ci n y lu eg o s imp lif icar s imp lif ica r. f=(a+b+c+d).(a+b+c+d).(a+b+c+d) simplificada_f=(c+d).a.b 1.4. a) Transformar en la forma cannica minterms f=a.b.c+a+b.d

Solucin: la transformacin consiste en pasar de un minterms incompleto a uno completo. El metodo mas sencillo en este caso es el de multiplicar cada sumando por el trmino (a+a), (b+b), (c+c) o (d+d) f=a.b.c.(d+d)+a(b+b).(c+c).(d+d)+b.d.(a+a).(c+c)

b)

f=(a+b).(b+c).(a+c)

S o l u c i n : en este caso, en el que la expresin esta dad en forma maxterms, es necesario, en primer lugar, realizar el producto entre factores que componen la ecuacin. f=a.b.c+a.b.c+a.b.c+a.b.c 1.5. Transformar en la forma cannica maxterms

J. Villagrn

repartido1_Teoremas y leyes de Boole_con_soluciones 23/09/11 a) f=(a+b).b.(c+b)

Solucin: consiste en obtener, partiendo de una ecuacin maxterms incompleta, una ecuacin maxterms completa. Para realizar tal transformacin, se suma a cada factor el termin (a.a), (b.b) o (c.c), segn cuales variables falten en cada factor del producto. f=(a+b+c.c).(a.a+b+c.c).(a.a+c+b) Aplicamos la distributiva en cada factor: f=[(a+b+c).(a+b+c)][(b+a).(b+a)+c.c].[(a+b+c). (a+b+c)] finalmente_f=(a+b+c).(a+b+c).(a+b+c).(a+b+c). (a+b+c).(a+b+c) b) f=a.b+a.b.c+b.c

Agrupamos trminos para conseguir la forma maxterms y luego aplicamos lo mismo que para el problema anterior, ecuacin maxterms incompleta f=(a+c).(b+c) maxterms completa_ f=(a+b+c).(a+b+c).(a+b+c).

J. Villagrn