Prctica de manipulacin algebraica de funciones booleanas

SISTEMAS LOGICOS I DIGITAL I

PRCTICA DE MANIPULACIN ALGEBRAICA DE FUNCIONES BOOLEANAS

Prctica de manipulacin algebraica de funciones booleanas Prctica de manipulacin algebraica de funciones booleanas Se pretende que todos los problemas sean resueltos mediante una manipulacin algebraica, haciendo uso de las leyes y teoremas del lgebra de Boole. PROBLEMA NRO. 1: Simplificar las siguientes funciones booleanas: a) f1=A+B+ABC b) f2=A+AB+ABC+ABCD c) f3=(A+ABC)+(A+ABC)+(A+ABC) d) f4=ABC+A(B.C)+ABC e) f5= A+B+ABC f) f6=ABC+AB+BC+ABC g) f7=AD+AB+CD+BC h) f8=AB+BC+ACD i) f9=3(1,3,6,7) j) f10=4 (0,1,2,3,6,12,14) k) f11= ABC+ABD+ACD+BCD+ABD+ABC+BD l) f12=ACD+ABC+ABD+BCD+BCD+ACD m) f13= 4(1,4,6,11,14) n) f14= 4 (0,2,7,8,10,15) PROBLEMA NRO. 2: Obtener el complemento (o negacin) de cada una de las siguientes funciones lgicas y despus simplificarlas: a) f1=A(B+C) (A+B+C) b) f2=A+(C+B+BD) + (C+BD) c) f3=(A+BC) (B+AC)(C+AB) d) f4=A+(C+B+BD). (C+BD) e) f5=(A+(B+CD).(C+AB)).(B+C) f) f6= (B(A+C)+A).(B+A) PROBLEMA NRO. 3: Determinar las condiciones que deben cumplir las variables booleanas A y B para que se verifiquen las siguientes ecuaciones: a) A+AB=0 b) AB=AC c) ABD+BCD+ACD=ABD+ACD PROBLEMA NRO. 4: Determinar ambas formas cannicas, expresadas tanto algebraica como numricamente, de las siguientes funciones lgicas: a) f1=A(B+C)+C b) f2=AB+ABC+AB c) f3= ABCD+ABC+ABD d) f4=AB+(A+C)B+ABC

e) f5=3 (0,1,3,4,5,7) f) f6=4 (0,1,2,3,12,15) g) f7=(A+B) + ABC+ (A.(B+C)) h) f8= 4 (0,3,11,15) i) f9=A(B+C)(B+A)+ABC j) f10=(ABC+ABD)(C+BD) PROBLEMA NRO. 5: Demostrar que las siguientes funciones lgicas son EQUIVALENTES: f1= ABC+AB+AC+ABC f2= A+BC PROBLEMA NRO. 6: Dada una funcin cuya expresin algebraica es: f=(A+B+C) D obtener las expresiones cannicas numricas de suma de productos y de producto de sumas. PROBLEMA NRO. 7: Demostrar las siguientes propiedades de la funcin OR-exclusiva: a) A B=A B=(A B)=(A B) b) (A B)=AB+AB c) (A B)= A B=A B d) A(B C)=AB AC e) A 1= A f) A 0 = A g) Si: A C=B C , entonces : A=B h) Si: A B=0, entonces : A=B i) Si: A B C=D, entonces: A B= C D y A= B C D j) Demostrar si esta identidad es cierta o falsa: A (B+C)=(A B) + (A C) k) A+B= A B AB l) Usando la ecuacin k) cualquier expresin puede ser convertida en otra equivalente conteniendo slo las operaciones XOR y AND. Transformar la siguiente expresin de esa manera: f=ABC+ABC+AC PROBLEMA NRO. 8: Siendo f= 4(5,6,13) y f1=4(0,1,2,3,5,6,8,9,10,11,13) encontrar una funcin f2 tal que se verifique: f=f1.f2

Soluciones a los Problemas: Veamos un sumario de las leyes y teoremas del lgebra de Boole que usaremos en la resolucin de los problemas:

Nro. Orden 1 2

Nombre Ley de IDEMPOTENCIA Existencia de ELEMENTOS NEUTROS (Ley de Identidad) Ley de ANULACION (Propiedad de los elementos neutros) Ley CONMUTATIVA Ley ASOCIATIVA Ley del INVERSO Ley DISTRIBUTIVA Ley de ABSORCION Ley de CONSENSO Ley de MORGAN DOBLE NEGACION (Ley de Involucin)

a) Forma OR A+A=A A+0=A

b)Forma AND A.A=A A.1=A

3 4 5 6 7 8 9 10 11 12

A+1=1 A+B=B+A (A+B)+C=A+ (B+C) A+A =1 A.(B+C)=A.B+AC A+A.B=A A+(A.B)=A+B AB+BC+AC=AB +AC (A+B)=A.B (A)=A

A.0=0 A.B=B.A (A.B).C=A.(B.C) A.A=0 A+B.C=(A+B).(A+C) A.(A+B)=A A.(A+B)=A.B (A+B).(B+C). (A+C)=(A+B).(A+C) (A.B)=A+B

En las columnas a) y b) se indican las formas DUALES de representacin de cada ley, ya que el PRINCIPIO DE DUALIDAD establece que si en una identidad se intercambian entre s las operaciones suma y producto lgicos, y los elementos 0 y 1, la identidad permanece vlida. De ahora en adelante, para hacer referencia a una determinada identidad la identificaremos por la fila y la columna del cuadro. De esta manera, el indicador(6.a) har referencia a la identidad A+A=1. Esto nos permitir explicar en forma concisa las respectivas leyes usadas en la manipulacin algebraica. Solucin Problema nro. 1: a) f1=A+B+ABC 4.b f1=A+B+B.AC 9.a f1=A+B+AC 4.a f1= A+AC 9.a + B f1=A+C+B 4.a f1=A+B+C Aplicando (11.b) podra expresarse: f1=(ABC) b) f2=A+AB+ABC+ABCD 7.a 4

f2= A+A(B+BC+BCD) 9.a f2=A+(B+BC+BCD7.a) f2=A+(B+B(C+CD) 9.a f2=A+(B+B(C+D) 9.a) f2=A+(B+(C+D) 5.a) f2=A+(B+C+D) 5.a f2=A+B+C+D c) f3=(A+ABC)+(A+ABC)+(A+ABC) (5.a) f3=A+ABC+A 4.a+ABC+A 4.a+ABC f3=A+A 1.a+ABC+A 4.a+ABC+ABC f3=A+A 6.a+ABC+ABC+ABC f3=1+(ABC+ABC+ABC)(3.a) f3=1 d) f4=ABC+A(B.C) 11.b+ABC f4=ABC+A(B+C) 7.a +ABC f4=ABC+AB 2.b+AC 2.b+ABC f4=ABC+AB.1 6.a+AC.1 6.a+ABC f4=ABC+AB(C+C) 7.a+AC(B+B) 7.a+ABC f4= ABC+ABC+ABC+ACB 4.b+ACB 4.b+ABC f4=ABC 4.b+ABC 4.b+ABC+ABC+ABC 4.a+ABC f4=ACB+ACB 7.a+ABC+ABC 1.a+ABC+ABC f4=AC(B+B) 6.a+ABC 4.a+ABC 4.a+ABC f4=AC.1 2.b+ACB+ACB 7.a+ABC f4=AC+AC(B+B) 6.a+ABC f4=AC+AC.1 2.b+ABC f4=AC+AC 7.a+ABC f4=A(C+C) 6.a+ABC

f4=A.1 2.b+ABC 5.b f4=A+A(BC) 9.a f4=A+BC

Otra forma de resolverlo: f4=A(BC+(BC))+ABC f4=A+ABC=A+BC Otra opcin: f4=BC+(A+A)+A(BC) f4=BC+(BC)A=BC+A e) f5= A+B+ABC 4.a f5=A+ABC 8.a+B f5=A+B

f) f6=ABC+AB+BC+ABC 4.af6=ABC+ABC 7.a+AB+BC f6=AC+(B+B) 6.a+AB+BC f6=AC.1 2.b+AB+BC f6=AC+AB+BC 4.af6=AB+BC+AC 10.a f6=AB+AC g) f7=AD 2.b+AB+CD+BC f7=AD.1 6.a +AB+CD 4.a+BC f7=AD(C+C) 7.a+CD+AB+BC f7=ADC 4.a+ADC 4.a+CD+AB+BC f7=ACD 2.b+ACD+CD 7.a+AB+BC

f7=ACD.1 6.a+CD(A+1) 3.aAB+BC f7=ACD(B+B) 7.a+CD.1 2.b+AB+BC f7=ABCD+ABCD+CD+AB+BC 4.af7=ABCD 4.b+BC+ABCD+AB 8.a+CD f7=BCAD+BC 8.a+AB+CD f7=BC+AB+CD h) f8=AB2.b+BC 2.b+ACD f8=AB.1 6.a+BC.1 6.a+ACD f8=AB.(C+C (C+D)) (7.a) + BC.(D+D.(A+A) (7.a) +ACD f8=ABC+ABCD+ABCD+BCD+BCDA+BCDA+ACD f8=ABC+ACD+(B+B) (6.a)+ABCD+BCD+ABCD+ACD -------------------(2b) f8=ABC+ACD+ABCD (7.a) +BCD+ABCD+ACD f8=ABC+AC(D+DB) (9.a) +BCD+ABCD(4.a) +ACD f8=ABC+AC(D+B) (7.a) +ABCD+BCD+ACD f8=ABC+ACD+ACB+ABCD+BCD+BCD+ACD (7.a) f8=ABC+CD(A+ABC) (9.a) +ABC+BCD+ACD (7.a) f8=AB(C+C) (6.a) +CD(A+BC) (7.a) +BCD+ACD ------------(2.b) f8=AB+ACD+BCD+BCD (7.a) (6.a) (2.b) +ACD f8=AB+ACD+BC+ACD f8=AB+BC+AD(C+C) (6.a) -----------(2.b) (7.a)
(7.a)

f8=AB+BC+AD

i)f9=3(1,3,6,7) Tener presente que esta forma de notacin indica la correpondiente SUMA DE PRODUCTOS CANNICOS (minterm). Es decir dara el equivalente decimal de TODAS las filas donde la tabla presenta un 1 a su salida. N 0 1 2 3 4 5 6 ABC 000 001 010 011 100 101 110 f9 0 1 0 1 0 0 1 Para evitar ambigedades entre la notacin NUMRICA y la ALGEBRAICA hay que convenir en el ordenamiento que tendrn las variables (literales) en la tabla. Convendemos en asignar el literal que aparezca en primer trmino entre parntesis al bit ms significativo (MSB) y de ah en adelante ordenando en forma correlativa. Por ejemplo : f(X,Z,W)=3(1,4)=XZW+XZW Se deja constancia que esta CONVENCIN no es universal (hay autores que ordenan las tablas al revs). Es simplemente una manera de ponernos de acuerdo en la notacin. En caso de no estar especificadas las variables, asignaremos el MSB al literal A, el siguiente al B,etc. Por lo dicho resulta: F9= 3 (1,3,6,7)=ABC+ABC+ABC+ABC

001 011 110 111 7 111 1 Notar que cada minterm puede escribirse pensando en la notacin binaria del equvalente decimal, sin armar la tabla, negando la variable cuando en la respectiva combinacin de entradas el respectivo bit es 0 y dejndola sin negar en caso que sea 1 . f 9= AC(B+B) ( 6 a ) +AB(C+C) (6a) = AC . 1 (2a) + AB .1 (2a) = AC+AB

j) f 10= 4 (0,1,2,3,6,12,14) f 10= ABCD+ABCD

(7a)

+ABCD+ABCD(7a) +ABCD+ABCD+ABCD (7a)

f 10= ABC(D+D) + ABC(D+D) +ABCD+ ABD(C+C) f 10= ABC+ABC+ABCD+ABD f 10= AB(C+C) +BD(AC+A) (9a) f 10 = AB+BD(C+A) = AB+BCD+ABD Observacin: notar que la manipulacin algebraica no constituye una manera sistemtica de simplificacin, y no asegura el logro de la mxima simplificacin, es decir, la obtencin de una expresin MNIMA EQUIVALENTE

Solucin problema N 2 Este problema nos permitir ejercitarnos en el uso de las leyes de De Morgan a) f1= A(B+C)(A+B+C) f 1 = (A(B+C)(A+B+C)) = (A) + (B+C) +(A+B+C) f 1 = A+BC+ABC (7.a) f 1 = A+C(B+BA) (9.a) = A+C.(B+A(7.a)) = A+BC+AC f 1 = A+AC(9.a) +BC = A+C+BC(8.a) = A+C

b) f2= A+(C+B+BD)+(C+BD). f 2= (A+(C+B+BD)+(C+BD)) f 2 = A.(C+B+BD) (9.a). (C+BD) f 2= A.(C+B+D) (11.a)..(C.(BD) (11.b) f 2= A.(CBD).(C(B+D)) = C.C(6.b). (ABD(B+D)) f 2 = 0.( ) (3.a). = 0

c) f 3= (A+BC).(B+AC).(C+AB) f 3 = ( (A+BC).(B+AC).(C+AB) ) f 3= (A+BC)+(B+AC)+(C+AB) f 3= A.(BC)+B.(AC)+C.(AB) f 3= A.(B+C)+B.(A+C)+C.(A+B) f 3= AB+AC+AB+BC+AC+BC f 3= AB(C+C)+ AC (B+B)+AB+BC(A+A)+AC+BC(A+A) f 3=ABC + ABC + ABC +ABC + AB+ABC(8.a) + ABC(1.a) +AC+ABC (8.a) + ABC (1.a) f 3=ABC+ABC (7.a) +ABC+AB (7.a) +AC f 3=AB(C+C) (6.a) +B(AC+A) (9.a) +AC f 3=AB.1 (2.b) +B(C+A) (7.a) +AC

f 3=AB +BC+AB+AC

d) f4=A+(C+B+BD).(C+BD) f 4= (A+(C+B+BD).(C+BD)) .Por (11.a) resulta: f 4=A.((C+B+BD) (9a) .(C+BD)) f 4= A.((C+B+D).(C+BD)) (11.b) f 4= A.((C+B+D)+(C+BD)) f 4= A.(CBD+C.(BD)) (7a) f 4= ABCD+ AC(BD) (11.b) = ABCD+AC(B+D) (7.a) f 4= ABCD+ ABC+ACD

Solucin problema N 3 a) Para que sean A+AB (9 a) = A+B= 0 deben ser A=0 o sea A=1 y adems B=0 Por lo tanto, las condiciones que deben cumplir son: A=1 B=0 debe ocurrir que sea A=0 ( ByC cualesquiera) o D(AB+BC+AC) = D(AB+AC)

b) Para que se verifique AB=AC bien que sea B=C ( A cualquiera) c) ABD+BCD+ACD= ABD+ACD AB+BC+AC=AB+AC

Por ley de CONSENSO (10a) la identidad es vlida siempre

Solucin problema N 4 a) f1= A(B+C)+C dada una expresin algebraica, aplicando la propiedad DISTRIBUTIVA (( 7 a) y (7 b)) primeramente se le lleva a suma de productos o a producto de sumas segn cual sea la forma cannica buscada. En el caso de suma de productos, se multiplica cada producto por la suma de las variables que faltan en l y sus inversas ((2b)(6a)), y se distribuye (7a) y se suprimen los trminos repetidos (1a) . Es decir :

10

f1= A(B+C)+C=AB+AC+C

f1 = AB.(C+C)+AC.(B+B)+C.(A+A).(B+B) f1 = ABC+ABC+ABC+ABC+.(AC+AC).(B+B) f1 = ABC+ABC+ABC+ABC+ABC+ABC+ABC+ABC f1 = ABC+ABC+ABC+ABC+ABC+ABC Expresin algebraica de la primer forma cannica tambien llamada SUMA DE PRODUCTOS CANNICOS o EXPRESIN NORMAL DISJUNTA . La expresin numrica de la primer forma cannica se obtiene reemplazando directamente cada minterm. de la expresin algebraica por su equivalente decimal: f1= 3 (5,4,6,7,3,1) = 3 (1,3,4,5,6,7) En el caso de Producto de sumas, se le suma a cada una de las sumas el producto de cada variable que falta en ella por su inversa ((2a) y (6b)), y se distribulle (7 b) y se suprimen los trminos repetidos (1 b). Es decir: f1= A.(B+C)+C = (A+C).((B+C)+C) = A+C = (A+C)+BB
7b

=1

f1 = (A+C+B).(A+B+C) = (A+B+C).(A+B+C)

Expresin algebraica de la segunda forma cannica tambin llamada PRODUCTO DE SUMAS CANNICAS o Expresin normal Conjunta. La expresin numrica de la segunda forma cannica se obtiene reemplazando directamente cada maxterm. de la expresin algebraica por su equivalente decimal, teniendo presente en ste caso, para determinarlo, a cada variable negada le corresponde un 1 y a la variable sin negar le corresponde un 0. Es decir: f1= 3 (0,2) N 0 1 2 3 4 5 6 7 ABC 000 001 010 011 100 101 110 111 f -1 1 0 1 0 1 11 Adems, podra haberse obtenido la expresin NUMRICA DE LA PRIMER FORMA CANNICA a partir de la expresin NUMRICA DE LA SEGUNDA FORMA CANNICA (y viceversa), reemplazando los smbolos de y (o viceversa), y completando con los nmeros correspondientes a los eventos de entrada no considerados en la expresin de origen para los cuales la funcin est ESPECIFICADA. Los eventos de la entrada para los cuales la funcin no est especificada (REDUNDANCIAS), mantienen sus nmeros. Veamos un ejemplo:

f= 3 (1,2,5,7)+ 3 (0,4) f= 3 (3,6). 3 (0,4)

Si se necesita determinar la expresin numrica de una funcin partiendo de la expresin NUMERICA de su COMPLEMENTO, bastar intercambiar los smbolos de y manteniendo los nmeros. Es decir: Si: f =
3

(1,2,5,7) + 3 (0,4)

f = 3 (1,2,5,7) . 3 (0,4)

Si: f = 3 (3,6) . 3 (0,4)

f = 3 (3,6) + 3 (0,4)

b) f2 = AB+ABC+AB F2 = ABC+ABC+ABC+AB(C+C) f2 = ABC+ABC+ABC+ABC+ABC f2 = 3 (7,6,5,1,0) f2 = 3 (0,1,5,6,7)

f2 = 3 (2,3,4)

f2 = (A+BC).(A+B+C).(ABC)

c) f3 = ABCD+ABC+ABD f3 = ABCD+ABC.(D+D)+ABD.(C+C) f3 = ABCD+ABCD+ABCD+ABCD+ABCD f3 = 4 (14,13,12,7,5) f3 = 4 (5,7,12,13,14)

12

f3 = 3 (0,1,2,3,4,6,8,9,10,11,15)

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).(A+B+C+D).(A+B+C+D). (A+B+C+D)

d) f4 = AB+(A+C)B+ABC f4 = AB+AB+BC+ABC 8.a = AB+AB+BC f4 = (AB+AB).(C+C)+BC.(A+A) F4 = ABC+ABC+ABC+ABC+ABC+ABC f4 = ABC+ABC+ABC+ABC+ABC f4 = 3 (7,6,5,4,1) f4 = (0,2,3) 3

f4 = (A+B+C).(A+B+C).(A+B+C) sta ltima expresin podra haber sido obtenida expandiendo la expresin algebraica original, de esta manera: f4 = AB+AB 7.a y 6.a +BC = A+BC f4 = ((A+B)+CC).((A+C)+BB)
7.b

= (A+B).(A+C)

distribuyendo:

f4 = (A+B+C).(A+B+C).(A+B+C).(A+B+C) f4 = (A+B+C).(A+B+C).(A+B+C)

e) f5 = 3 (0,1,3,4,5,7)

f5 = 3 (2,6)

f5 = ABC+ABC+ABC+ABC+ABC+ABC

f5 = (A+B+C).(A+B+C) 13

f) f6 = 4 (0,1,2,3,12,15) f6 = ABCD+ABCD+ABCD+ABCD+ABCD+ABCD f6 = 4 (4,5,6,7,8,9,10,11,13,14) f6=(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)

g) f7 = (A+B)+ABC+(A.(B+C)) f7 = AB+ABC+(A+(B+C)) f7 = A.(B+BC+1)+BC = A+BC f7 = A.(B+B).(C+C)+BC.(A+A) f7 = (AB+AB).(C+C)+ABC+ABC f7 = ABC+ABC+ABC+ABC+ABC+ABC f7 = ABC+ABC+ABC+ABC+ABC

f7 = 3 (3,2,1,0,4) = 3 (0,1,2,3,4)

F7 = 3 (5,6,7)

f7 = (A+B+C).(A+B+C).(A+B+C)

Solucin problema N 5: f1 = ABC+AB+AC+ABC f2 = A+BC Dos funciones lgicas son equivalentes si tienen la misma TABLA DE VERDAD. Dado que la forma cannica extraida de una determinada tabla de verdad es nica, si dos funciones tienen la misma expresin CANNICA, es que son EQUIVALENTES. Por lo tanto, sacaremos las respectivas formas cannicas de f1 y f2 para ver si son iguales.

14

f1 = ABC+AB(C+C)+AC.(B+B)+ABC f1 = ABC+ABC+ABC+ABC+ABC+ABC f1 = ABC+ABC+ABC+ABC+ABC f1 = 3 (7,5,4,6,3) f1 = 3 (3,,4,5,6,7)

f2 = A.(B+B).(C+C)+BC.(A+A) = (AB+AB).(C+C)+ABC+ABC f2 = ABC+ABC+ABC+ABC+ABC+ABC f2 = ABC+ABC+ABC+ABC+ABC f2 = 3 (7,6,5,4,3) Por lo tanto, f1 y f2 son EQUIVALENTES. ste ejemplo permite observar que aunque una forma cannica requiera ms smbolos, es ms fcil de identificar visualmente por la regularidad de su estructura. f2 = 3 (3,4,5,6,7)

Solucin problema N 6: f1 = A + B + C) donde: f2 = D f1 = A B C = A B C (D + D ) = A B C D + A B C D f1 = (1,0) = (0,1) f = f1 f 2

4 4

f2 = D Aparecern todos los trminos cuyo bit menos significativo (LSB) sea cero, es decir, todos los trminos pares, por lo tanto: f 2 = (0,2,4,6,8,10,12,14)
4

Por definicin de OR-exclusiva, la funcin f = f1 f 2 adoptar al valor lgico 1 para aquellas combinaciones de entrada para las que las funciones f1 y f2 adopten valores diferentes. Es decir, aparecern los minterm que aparezcan en una sola de las funciones. Es decir: f = (1,2,4,6,8,10,12,14) f = (0,3,5,7,9,11,13,15)
4 4

Solucin problema N 7:

15

a) f1 = A B f1 = A B + AB

f 2 = A B

f 3 = (A B)

f 4 = (A B ) f 2 = f1 f 3 = f1 f 4 = f1

f 2 = A B = (A ) B + A (B ) = AB + A B = (A + B ).(A + B) = 0 + A B + B A + 0

f 3 = (A B) = ((A ) B + A B ) = (AB + A B ) = (AB) .(A B ) = f 4 = (A B ) = (A B + A(B ) ) = (A B + AB) = f 3 b) f1 = (A B) f 2 = AB + A B

f1 = (A B + AB ) = (A B) .(AB ) = (A + B ).(A + B) = 0 + AB + B A + 0 = f 2 c) f1 = (A B) f1 = AB + A B f 2 = A B + A(B ) = A B + AB f 3 = (A ) B + A B = AB + A B d) f1 = A(B C) f 2 = AB AC f 2 = f1 f 3 = f1 f 2 = A B f3 = A B

f1 = A(B C) = A(B C + BC ) = AB C + ABC f 2 = AB AC = (AB) (AC) + (AB)(AC) = (A + B )AC + AB(A + C ) f 2 = 0 + AB C + 0 + ABC = AB C + ABC f1 = f 2 e) A 1 = A .1 + A.1 = A + 1.0 = A f) A 0 = A .0 + A.0 = 0 + A.1 = A A C = A C + AC g) A C = B C A C + AC = B C + BC A = B B C = B C + BC A B = 0 h) A B = 0 A B + AB = 0 A = B AB = 0 i) Probaremos primero que si: x = y entonces x = y (1) Si x = y = 0 0 = = x queda demostrado (1) Si x y = 1 1 = = x Por lo tanto:

16

A (B C) = D A = (B C) D (2) (A B) C = D (A B) = C D (3) Faltara demostrar: A B C = A (B C) = (A B) C (4) A (B C) = A (B C + BC ) + A(B C + BC) = A B C + A BC + AB C + ABC = (1,2,4,7) 3 (A B) C = (A B + AB)C + (A B + AB )C = A B C + ABC + A BC + AB C = (1,7,2,4) 3 Adems, por definicin de XOR, la funcin adopta el valor 1 cuando hay un nmero impar de entradas en 1 A B C = (1,2,4,7)
3

Con lo que queda demostrado (4)

3 (A B) C = D AB = CD A B C = D demostrado 2 A (B C) = D A = (B C) D = B C D 4

j) (A B) + (A C) = A B + AB + A C + AC = A (B + C) + A(B + C ) A (B + C) = A (B + C) + A(B + C) Por ley de Morgan: (B + C) = B C B + C (A B) + (A C) A (B + C) k) f1 = A + B f 2 = A B AB f 2 = (A B) AB = (A B) AB + (A B)(AB) = = (A B + AB)AB + (A B + AB )(A + B ) = = 0 + AB + A B + 0 + 0 + AB = A(B + B ) + A B = A + A B = A + B = f1

l) f = ABC + AB + = ABC + C(A AB) = ABC + C(A + ) = C A C + B 7a 9a 12 = ABC + C.[(A + ) ] = ABC + C(AB) = AB C B 11a Solucin problema N 8: f = (5,6,13) f1 = (0,1,2,3,5,6,8,9,10,11,13)
4

17

Como f = f1 .f 2 , si expresamos las funciones como producto de sumas cannicas (maxterm), los maxterm de f2 deben completar los maxterm que le falten a f1 para lograr f, sin agregar ningn maxterm que no est en f. f = (0,1,2,3,4,7,8,9,10,11,12,14,15) f1 = (4,7,12,14,15)
4 4

Por lo dicho anteriormente ser: f 2 = (0,1,2,3,8,9,10,11)

4

(4,7,12,14,15) 4 puede aparecer o no (seran redundanciasen la tabla de verdad)

Aplicando la Doble Negacin (12) y la ley de De Morgan (11.b) resulta: f = (f 2 ) = ( (0,1,2,3,8,9,10,11) (4,7,12,14,15) Segn lo explicado en pg.12, ser: f 2 = (0,1,2,3,8,9,10,11) + (4,7,12,14,15)
4 4

Notar que los trminos redundantes podran ser includos o no, a los efectos de lograr una mayor simplificacin en el proceso de minimizacin de la funcin.

18