FUNCIONES LGICAS LGEBRA DE BOOLE

El lgebra de Boole es una serie de propiedades, postulados y teoremas matemticos que se emplean en electrnica digital, una de su aplicacin es usarla como una tcnica para simplificar funciones lgicas. Todas las definiciones matemticas que se realicen se harn en forma dual una para la suma y otra para la multiplicacin.

PROPIEDADES 1. Se definen los operadores suma + (OR) y multiplicacin (AND) como lgicos. A+B AB

2. Se define el operador negacin o complemento (NOT). A (A) = A

3. Las operaciones suma y multiplicacin son conmutativas. A+B=B+A AB=BA

4. Las operaciones suma y multiplicacin son asociativas A + (B + C) = (A + B) + C A(BC) = (AB)C

5. Cada expresin es distributiva con respecto a la otra. A + (B C) = (A + B)(A + C) A (B + C) = A B + A C

POSTULADOS Para la suma 1. 1+1=1 Para la multiplicacin 00=0 11=1 10=0

2. 0 + 0 = 0 3. 1 + 0 = 1 4.

0 =1

1 =0

TEOREMAS 1. A + 0= A A0=0 A1=A AA=A A

2. A + 1 = 1 3. A + A = A 4. 5.

A +A=1

A =0

A B C ...... Z ABC..... Z (NOR)

ABC...... Z A B C.... Z (NAND)

AB + A B = A A + AB = A A+

6. (A+B)(A+ B ) = A 7. A(A+B)=A 8. A( A +B) = AB

AB=A+B

FUNCIONES LGICAS 9. (A+B)(A+ B +C)= (A+B)(A+C) 10. (A+B)( A +C)(C+B)=(A+B)( A +C) 11. (A+B)( A +C) = AC + 12. 13. AB+A B C = AB+AC AB+ A C+BC = AB+ A C AB+ A C = (A+C)( A +B)

AB

( A B)( A B) A B (Or Exclusiva)

( A B)( A B) AB AB

AB AB A B (Nor Exclusiva)
AB AB ( A B)( A B)

FORMAS DE EXPRESAR UNA FUNCIN LGICA Una manera de representar una funcin lgica sera la siguiente:

La funcin anterior tiene dos variables que son: A y B; tiene los cuatro literales: funcin anterior tiene tres trminos: .

. Se puede decir que la

1. Suma de productos, minterminos La suma de productos representa donde la funcin lgica es verdadera o tiene como valor un uno lgico, como por ejemplo:

Los trminos de la funcin expresada en suma de productos reciben el nombre de minterminos. Para la funcin anterior estos sern:

ABC, ABC, AB, AC

2. Productos de suma, maxterminos El producto de suma representa donde la funcin lgica es falsa o tiene como valor un cero lgico, como por ejemplo:

F( A,B, C) ( A B C)( A B C)( A B)( A C)

Los trminos de la funcin expresada en productos de suma reciben el nombre de maxterminos. Para la funcin anterior estos sern:

( A B C), ( A B C), ( A B), ( A C) .

FORMA CANNICA SUMA DE PRODUCTOS Si en la suma de productos o en los productos de suma se obliga a que aparezcan todas las variables de la funcin en cada trmino se dice que la funcin est representada en su forma cannica. La forma cannica para la suma de productos ser:

FUNCIONES LGICAS

F( A,B, C) ABC ABC ABC AB C

FORMA CANNICA PRODUCTOS DE SUMA La forma cannica para los productos de suma ser:

G( A,B, C) ( A B C)( A B C)( A B C)( A B C)

MINTERMINOS Cuando una funcin esta expresada en su forma cannica en suma de productos, cada trmino de esa funcin equivale a un mintermino, que no es mas que un nmero binario o decimal, este numero binario se obtiene de colocar cada variable dentro del termino que este negada en cero y las que no en uno, ese conjunto de ceros y unos equivale a un numero binario, hay que aclara que no se evala la funcin ni el termino. Por ejemplo hallar los minterminos para la funcin:

F( A,B, C) ABC ABC ABC AB C

F(A,B,C) = 100 + 000 + 001 + 110 F(A,B,C) = 4 + 0+ 1 + 6

F(A,B,C) = (0, 1, 4, 6)

Cuando se evala la funcin para cada mintermino de los minterminos que ella representa la funcin siempre valdr uno, es decir si se evala la funcin anterior para los trminos 0 o 1 o 4 o 6 el resultado de la misma siempre ser uno y para cualquier otro valor ser cero.

MAXTERMINOS Representan un nmero binario o decimal, este nmero binario se obtiene de la forma cannica de una funcin expresada en productos de suma colocando cada variable dentro del trmino que este negada en uno y las que no en cero, ese conjunto de ceros y unos equivale a un numero binario. Por ejemplo hallar los minterminos para la funcin:

G( A,B, C) ( A B C)( A B C)( A B C)( A B C)

G(A;B;C) = (0 + 1 + 1)(1 + 0 + 1)(0 + 1 + 0)(1 + 1 + 1) G(A;B;C) = ( 3 )( 5 )( 2 )( 7 )

G(A;B;C) = (2, 3, 5, 7)

Cuando se evala la funcin para cada maxtermino de los maxterminos que ella representa la funcin siempre valdr cero, es decir si se evala la funcin anterior para los trminos 2 o 3 o 5 o 7 el resultado de la misma siempre

FUNCIONES LGICAS ser cero y para cualquier otro valor ser uno.

TABLA DE LA VERDAD Si se evala la siguiente funcin F(A,B) = F(0,1) =

AB + B + A para A= 0 y B = 1 resultara:

01+ 1 + 0 = 00 + 1+ 0 = 1

Evaluando la funcin para el resto de las combinaciones de valores que pueden tener las entradas se obtendran sus respectivas salidas, estos valores se tabulan y se conocen con el nombre de tabla de la verdad. F(0,0) = F(1,0) = F(1,1) =

00 + 0 + 0 = 01 + 0+ 0 = 0 10 + 0 + 0 = 11 + 0+ 1 = 1
1 1 + 1 + 1 = 10 + 1+ 1 = 1

A 0 0 1 1

B 0 1 0 1

F 0 1 1 1

La tabla de la verdad representa la salida de la funcin para todas las posibles combinaciones de las variables de entrada, y su construccin es mas fcil a partir de la forma cannica de una funcin lgica, la tabla de la verdad de la siguiente funcin lgica viene dada por:

F( A,B, C) ABC ABC ABC AB C

A 0 0 0 0 1 1 1 1

B 0 0 1 1 0 0 1 1

C F(A,B,C) 0 1 0 1 0 1 0 1 1 1 0 0 1 0 1 0

SIMPLIFICACIN DE FUNCIONES LGICAS El proceso matemtico de simplificar funciones lgicas est basado en dos objetivos bsicos: Obtener una funcin equivalente a la que se desea simplificar, con la menor cantidad de trminos, y que cada trmino tenga la menor cantidad de literales.

FUNCIONES LGICAS 5 Se estudiaran dos tcnicas para simplificar funciones, la primera usando el algebra de Boole y la segunda basada en los mapas de Karnaugh.

MAPAS DE KARNAUGH Son otra forma de representar funciones lgicas con el objetivo de simplificarlas. En el mapa se representan los minterminos y los maxterminos de una funcin.

Mapas para dos variables: Minterminos A B 0 1 0 m0 m1 1 m2 m3 B Binario A 0 0 00 1 01 1 10 11 B Decimal A 0 0 0 1 1 1 2 3 B 0 1 Minterminos A 0 1

AB

AB
AB

AB

Mapa para tres variables AB C 0 1 00 01 11 10

Mapa para cuatros variables: AB CD 00 01 11 10 00 01 11 10

Mapa para cinco variables: ABC DE 00 01 11 10 REGLAS DEL MTODO 1. Se colocan dentro del mapa los maxterminos y los minterminos, es decir, la tabla de la tabla de la verdad de la funcin lgica 2. Se escoge si se trabajara con minterminos o maxterminos. 3. Se forman grupos entre trminos vecinos (maxterminos o minterminos) 4. Los grupos se forman en cantidades iguales a la potencia de dos, es decir, 1 2 4 8 16 etc. 000 001 011 010 100 101 111 110

FUNCIONES LGICAS 6 5. Los grupos deben formarse de manera tal que puedan abarcar el mayor nmero de trminos, porque as se formaran trminos con menos literales, todo esto respetando la regla anterior. 6. Se trata de formar el menor nmero de grupos posibles porque as aparecern en la funcin simplificada menos trminos. 7. En los grupos donde cambie el valor de una variable de cero a uno o viceversa, en las filas o en las columnas, esta variable no aparecer en el trmino que formara ese grupo.

TRMINOS VECINOS 1. Son trminos vecinos aquellos que se hallen uno al lado del otro vertical y horizontalmente.

2. Son trminos vecinos aquellos que se encuentran uno encima del otro, porque se supone que los mapas estn superpuestos como pisos de apartamentos, para mapas de ms de cinco variables. 3. Son trminos vecinos aquellos que se encuentran en los extremos opuestos del mapa en la misma direccin horizontal o vertical.

EJERCICIOS RESUELTOS Ejercicio 1: Simplifique la siguiente funcin aplicando el lgebra de Boole.

F( A,B, C,D) ( A B C)( A D)(B C D)

Solucin: Reagrupando el primero y el ltimo maxtermino en ( ( A (B C)) multiplicndolos:

((B C) D) , respectivamente y luego

F( A,B, C,D) ( A(B C) (B C)(B C) A D (B C)D)( A D)

Aplicando el teorema 3 para la multiplicacin

(B C)(B C) (B C) :

F( A,B, C,D) ( A(B C) (B C) A D (B C)D)( A D)

Sacando factor comn

BC:

F( A, B, C, D) ((B C)( A 1 D) A D)( A D)

Aplicando el teorema 2 para la suma

A 1 D 1:

F( A,B, C,D) ((B C)1 A D)( A D)

Aplicando el teorema 2 para la multiplicacin

(B C)1 (B C) y el teorema 5 para la suma AD A D :

F( A,B, C,D) (B C A D)( A D)

Reagrupando en dos trminos y multiplicando:

F( A,B, C,D) (B C)( A D) ( A D)( A D)

FUNCIONES LGICAS Aplicando el teorema 4 para la multiplicacin

( A D)( A D) 0 :

F( A,B, C,D) (B C)( A D)

Ejercicio 2: Simplifique la siguiente funcin aplicando el lgebra de Boole.

F( A,B, C,D,E,F) ABE BDE EB ECB FEB D E

Solucin: Sacando factor comn

EB entre los minterminos 3 y 5:

F( A,B, C,D,E,F) ABE BDE EB(1 F) ECB D E

Aplicando el teorema 2 para la suma 1+F=1 y el teorema 2 para la multiplicacin

EB1 EB :

F( A,B, C,D,E,F) ABE BDE EB ECB D E

Sacando factor comn B entre los trminos 1 y 3:

F( A,B, C,D,E,F) B( AE E) BDE ECB D E

Aplicando el teorema 8 para la multiplicacin

AE E A E :

F( A,B, C,D,E,F) B( A E) BDE ECB D E

Desarrollando el primer trmino:

F( A,B, C,D,E,F) BA BE BDE ECB D E

Sacando factor comn

E entre los trminos 2 y 3:

F( A,B, C,D,E,F) BA E(B BD) ECB D E

Aplicando el teorema 8 para la multiplicacin

B BD B D :

F( A,B, C,D,E,F) BA E(B D) ECB D E

Desarrollando el segundo trmino:

F( A,B, C,D,E,F) BA EB ED ECB D E

Sacando factor comn

E entre los trminos 3 y 5:

F( A,B, C,D,E,F) BA EB E(D D) ECB

Aplicando el teorema 4 para la suma

D D 1 y el teorema 2 para la multiplicacin E1 E :

F( A,B, C,D,E,F) BA EB E ECB

Sacando factor comn

E entre los trminos 2 y 3:

F( A,B, C,D,E,F) BA E(B 1) ECB

Aplicando el teorema 2 para la suma B+1=1 y el teorema 2 para la multiplicacin

E1 E :

FUNCIONES LGICAS

F( A,B, C,D,E,F) BA E ECB

Ejercicio 3: Simplifique la siguiente funcin aplicando el lgebra de Boole. F( A,B, C) ( A B)( A C)(B C) : Solucin: Desarrollando 1 y 2

F( A, B, C) ( AC BA )(B C) F( A, B, C) ACB BAB ACC BAC

Aplicando teorema 11 M Desarrollando Aplicando teorema 3S Y 4M Sacando factor comn AC Aplicando teorema 2S Aplicando teorema 8M

F( A, B, C) ABC ACB AC
F( A,B, C) ABC AC(B 1)

F( A,B, C) C( AB A )
F( A,B, C) C(B A)

Ejercicio 4: Simplifique la siguiente funcin aplicando el lgebra de Boole

F( A,B, C,D,E) ( A B CD)( A B)( A B E)

Solucin:

F ( A, B, C, D, E) ( A B CD)( A B)( A B E)
F( A,B, C,D,E) ( A B CD)( A B) F( A, B, C, D, E) ( A B)( A B) CD( A B) F( A, B, C, D, E) B CD( A B)

Aplicando el teorema 7S Aplicando propiedad 5 Aplicando teorema 6S Aplicando propiedad 5 Aplicando propiedad 3 Aplicando teorema 2S

F( A, B, C, D, E) B CDA CDB
F( A,B, C,D,E) B(1 CD) CDA F( A, B, C, D, E) B CDA

FUNCIONES LGICAS Ejercicio 5: Hallar la suma de productos y el producto de sumas para la siguiente tabla de la verdad. X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F 1 0 1 0 1 0 1 0

Solucin: Para la suma de productos se toma donde la funcin es uno.

F( X, Y, Z) A B C ABC AB C AB C

Para el producto de sumas se toma donde la funcin es cero.

F( A,B, C) ( A B C)( A B C)( A B C)( A B C)

Ejercicio 6: Hallar la tabla de la verdad de la siguiente funcin lgica

F( X, Y, Z) XY XYZ .

Solucin: Se expande la funcin en su forma cannica, para ello se aplica el teorema 4S, multiplicando cada trmino por la suma de la variable faltante y su negado que ser lo mismo que multiplicarlo por uno:

F( X, Y, Z) XY(Z Z) XYZ
Se aplica la propiedad distributiva 4M:

F( X, Y, Z) XYZ XYZ XYZ

De aqu que: F(X,Y,Z)=(1,2,3) Luego se representa en la tabla los minterminos 1, 2 y 3 con uno el resto de los valores son cero.

FUNCIONES LGICAS X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 F 0 1 1 1 0 0 0 0

10

Ejercicio 7: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C)= (6,7) Solucin: Se coloca en el mapa los minterminos 6 y 7, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos: AB C 0 1 00 0 0 01 0 0 11 1 1 10 0 0

Como los minterminos 6 y 7 son vecinos verticalmente ellos formaran un grupo de dos minterminos. Como hay un solo grupo la funcin simplificada tendr un solo mintermino, en el grupo el valor de C varia de 0 a 1 por lo tanto esta variable no aparecer en el trmino que forma este grupo el cual queda: F(A,B,C)=AB

Ejercicio 8: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C)=(1,5) Solucin: Se coloca en el mapa los minterminos 1 y 5, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos, los minterminos 1 y 5 son vecinos porque se encuentran en los extremos opuestos horizontales, por lo tanto ellos forman un grupo de dos minterminos: AB C 0 1 00 0 1 01 0 0 11 0 0 10 0 1

Como hay un solo grupo la funcin simplificada tendr un solo mintermino, en el grupo el valor de A varia de 0 a 1

FUNCIONES LGICAS por lo tanto esta variable no aparecer en el trmino que se formar, que ser:

11

F( A, B, C) BC

Ejercicio 9: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C)= (2,3,6,7) Solucin: Se coloca en el mapa los minterminos 2, 3, 6 y 7, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos, los minterminos 2, 3, 6, y 7 son vecinos entre si, por lo tanto ellos forman un grupo de cuatro minterminos:

AB C 0 1 00 0 0 01 1 1 11 1 1 10 0 0

Como hay un solo grupo la funcin simplificada tendr un solo mintermino, en el grupo el valor de las variables A y C varan de cero lo que indica que estas variables no estarn presente s en el grupo que se forma, que ser: F(A,B,C)=B

Ejercicio 10: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C)= (0,1,4,5) Solucin: Se coloca en el mapa los minterminos 0, 1, 4 y 5, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos, los minterminos 0 y 1 son vecinos verticalmente, los mintermino 4 y 5 son vecinos verticalmente, a su vez los minterminos 0 y 1 son vecinos de los minterminos 4 y 5 por encontrarse en los extremos opuestos horizontal del mapa, por lo tanto ellos forman un grupo de cuatro minterminos: AB C 0 1 00 1 1 01 0 0 11 0 0 10 1 1

Como hay un solo grupo la funcin simplificada tendr un solo mintermino, este forma observando que los valores de las variables A y C varan de cero a uno por lo tanto estas vari ables no estarn presente en el grupo, el cual queda:

F( A,B, C) B

FUNCIONES LGICAS Ejercicio 11: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C)= (0,2,4,6)

12

Solucin: Se coloca en el mapa los minterminos 0, 2, 4 y 6, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos, los minterminos 0, 2, 4 y 6 son vecinos entre si horizontalmente por lo tanto ellas forman un grupo de cuatro minterminos: AB C 0 1 00 1 0 01 1 0 11 1 0 10 1 0

Como hay un solo grupo la funcin simplificada tendr un solo mintermino, se observa que en el grupo los valores de las variables A y B varan, por lo que no estarn presente en el trmino que se forma, quedando:

F( A,B, C) C

Ejercicio 12: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D)= (0,2,8,10) Solucin: Se coloca en el mapa los minterminos 0, 2, 8 y 10, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos, los mintermino 0 y 2 son vecinos por estar en los extremos opuestos del mapa verticalmente, los mintermino 8 y 10 son vecinos por estar en los extremos opuestos del mapa verticalmente, a su vez los minterminos 0 y 2 son vecinos de los minterminos 8 y 10 por estar en los extremos opuestos horizontal del mapa, por lo tanto se formar un solo grupo de cuatro minterminos:

AB CD 00 01 11 10 00 1 0 0 1 01 0 0 0 0 11 0 0 0 0 10 1 0 0 1

Como hay un solo grupo la funcin simplificada tendr un solo minterm ino que solo tendr las variables B y D ya que A y C varan:

F( A,B, C,D) B D

FUNCIONES LGICAS Ejercicio 13: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D)= (2,3,4,6,7,10,11,12,14,15)

13

Solucin Se coloca en el mapa los minterminos, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se procede a seleccionar los grupos, observando el mapa se deduce que hay dos grupos, uno de ocho minterminos formado por 2, 3, 6, 7, 10, 11, 14 y 15; y otro de cuatro mintermino formado por 4, 12, 6 y 14: AB CD 00 01 11 10 00 0 0 1 1 01 1 0 1 1 11 1 0 1 1 10 0 0 1 1

Como hay dos grupos la funcin simplificada tendr dos mintermino que sern:

F( A,B, C,D) BD C

Ejercicio 14: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D)=(0,1,2,3,6,8,9,10,11,14) Solucin: Se coloca en el mapa los minterminos, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se forman los grupos observando el mapa, en el cual se puede apreciar que se pueden formar dos grupos, uno de ocho minterminos constituido por 0, 1, 2, 3, 8, 9, 10 y 11 y el otro de cuatro minterminos conformado por 2, 6, 10 y 14:

AB CD 00 01 11 10 00 1 1 1 1 01 0 0 0 1 11 0 0 0 1 10 1 1 1 1

Como hay dos grupos la funcin simplificada tendr dos mintermino que sern:

F( A,B, C,D) B CD

Ejercicio 15: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D,E)=(0,5,7,8,13,14,15,16,21,23,24,29,30,31)

FUNCIONES LGICAS 14 Solucin: Se coloca en el mapa los minterminos, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se forman los grupos observando el mapa, en el cual se puede apreciar que se pueden formar tres grupos, uno de ocho minterminos constituido por 5, 7, 13, 15, 21, 23, 29 y 31; otro de cuatro minterminos conformado por 0, 8, 16 y 24 y el ltimo grupo de cuatro minterminos conformado por 14, 15, 30 y 31: ABC DE 00 01 11 10 000 1 0 0 0 001 0 1 1 0 011 0 1 1 1 010 1 0 0 0 100 1 0 0 0 101 0 1 1 0 111 0 1 1 1 110 1 0 0 0

Como hay tres grupos la funcin simplificada tendr tres mintermino que sern:

F( A,B, C,D,E) C D E C E B C D

Ejercicio 16: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D)= (0,1,2,4,5,9,15) Solucin: Se coloca en el mapa los minterminos, es decir donde la funcin es uno, los dems valores se rellenan con cero. Luego se forman los grupos observando el mapa, en el cual se puede apreciar que se pueden formar cuatro grupos, uno de cuatro minterminos constituido por 0, 1, 4 y 5; otro de dos minterminos conformado por 0 y 2; otro de dos minterminos conformado por 1 y 9 y el ltimo grupo de un minterminos conformado por 15:

AB CD 00 01 11 10 00 1 1 0 1 01 1 1 0 0 11 0 0 1 0 10 0 1 0 0

Como hay cuatro grupos la funcin simplificada tendr cuatro mintermino que sern:

F( A, B, C, D) A C A B D B CD ABCD

Ejercicio 17: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D)= (0,1,2,4,5,9,15) X(3,6,7)

FUNCIONES LGICAS 15 Solucin: este ejercicio ilustra el uso de las condiciones no importa, que solo se utilizarn si ayudan a simplificar trminos de la funcin de lo contrario no se tomarn en cuenta. Se coloca en el mapa los minterminos, es decir donde la funcin es uno, luego se colocan las condiciones no importa indicndolos con una X, los dems valores se rellenan con cero. A continuacin se forman los grupos observando el mapa, en el cual se puede apreciar que se pueden formar tres grupos, uno de ocho minterminos aprovechando las condiciones no importa, constituido por 0, 1, 2, 3, 4, 5, 6 y 7; otro de dos minterminos conformado por 7 y 15; y el ltimo de dos minterminos conformado por 1 y 9:

AB CD 00 01 11 10 00 1 1 X 1 01 1 1 X X 11 0 0 1 0 10 0 1 0 0

Como hay tres grupos la funcin simplificada tendr tres mintermino que sern:

F( A, B, C, D) A B C D B C D

Ejercicio 18: Reduzca la siguiente funcin usando mapas de Karnaugh F(A,B,C,D)= (7,8,9,10,11,12,13,15,18,19) Solucin: Este ejercicio ilustra el uso de maxterminos, se coloca en el mapa los maxterminos, es decir donde la funcin es cero, los dems valores se rellenan con uno. A continuacin se forman los grupos se forman los grupos observando el mapa, en el cual se puede apreciar que se pueden formar cuatro grupos, uno de cuatro maxterminos constituido por 8, 9, 12 y 13; otro de cuatro maxterminos conformado por 8, 9, 10 y 11; otro de dos maxterminos conformado por 7 y 15;y el ltimo de dos maxterminos conformado por 18 y 19. ABC DE 00 01 11 10 000 1 1 1 1 001 1 1 0 1 011 0 0 0 1 010 0 0 0 0 100 1 1 0 0 101 1 1 1 1 111 1 1 1 1 1 1 1 110

Para simplificar los maxterminos se procede de misma forma que con los minterminos salvando la diferencia de que la variable estar negada cuando en el mapa valga uno y la variable estar sin negar cuando en el mapa valga cero

FUNCIONES LGICAS

16

F( A, B, C, D, E) ( A B D)( A B C)( A C D E)( A B C D)

EJERCICIOS PROPUESTOS 1. Hallar la forma cannica para suma de productos, el producto de sumas y la tabla de la verdad para las siguientes funciones: F(W,X,Y,Z)=((WY)X)(Y(XZ)) F(A,B,C,D,E) =(A+B)(CD)(ED)) F(A,B,C,D)= A B (DC) F(a,b,c,d)=(a+c)b)(c(bd)) F(a,b,c,d)=(a+c)b)(c+d)(bd)) F(A, B, C,D,E) = A + B + ABCD + B F(a,b,c,d)=(ac)b)(c(b+d)) F(a,b,c,d)=(ac)b)(c+d)(bd))

2. Simplifique las siguientes funciones aplicando el lgebra de Boole. F(A,B,C,D)=ABC+ABC+ABC+ABCD F(A,B,C,D)=(1,2,3,4,6,9,10,12,14) F(A,B,C)=(A+B+C)(A+B+C)(A+B+C)(A+B+C) F(W,X,Y,Z)=(2,3,4,6,7,10,11,12,14,15) F(A,B,C,D)=(2,3,5,6,7,9,11,13) F(W,X,Y,Z)=(0,2,8,10)

3. Reduzca las siguientes funciones usando mapas de Karnaugh. F(A,B,C,D)=(2,3,5,6,7,9,11,13) F(W,X,Y,Z)=(0,2,8,10) F(A,B,C,D)=(0,1,2,3,4,10,11) F(W,X,Y,Z)=(2,3,5,6,78,9,12,13,15) F(A,B,C,D)=(2,3,5,6,8,9,12,15) F(W,X,Y,Z)=(7,14,15) + X(3,11,12) F(A,B,C,D)=(0,1,4.7,10,11,13,14) F(W,X,Y,Z)=(1,2,3,4,6,9,10,12,14) F(A,B,C,D)=(0,1,4,10,11,14) F(W,X,Y,Z)=(0,1,4,5,16,17,21,25,29)

4. Simplifique hasta su mnima expresin, la siguiente ecuacin usando: A) maxterminos y B) Minterminos: F(A,B,C,D,E)=(0,1,4,7,10,11,13,14,16,17,20,23,26,27,29,30) F(A,B,C,D,E)=(0,3,4,6,9,10,13,15,17,18,21,23,25,26,29,31) F(A,B,C,D,E)=(1,3,5,6,8,10,12,15,16,18,20,23,24,26,28,31) F(A,B,C,D,E)=(0,3,5,7,8,11,13,15,16,19,21,23,25,26,28,30) S(V,W,X,Y,Z) = (0, 1, 2, 3, 4, 5, 6, 8, 9, 10, 12, 16, 17, 18, 20, 24) F(A,B,C,D,E)=(0,5,7,8,13,14,15,16,21,23,24,29,30,31)

5. Halle la forma cannica de S0 si: S2

( X Z) ( W Y) , S1 WY XZ( W Y) y S0 S2 S1

FUNCIONES LGICAS 17 6. Dada la siguiente funcin: F(A,B,C,D,E) = A'B'C'D'E' + A'B'C'D'E + A'B'CD'E' + A'B'CDE + A'BC'DE' + A'BC'DE + A'BCD'E + A'BCDE' + AB'C'D'E' + AB'C'D'E + AB'CD'E' + AB'CDE + ABC'DE' + ABC'DE + ABCD'E + ABCDE'. Simplifique la ecuacin usando Karnaugh y maxterminos. Donde l apostrofe indica que la variable esta negada (A' =A)

7. La simplificacin de la siguiente funcin lgica da como resultado

F ABCD ABCD ABC D ABCD ABC D ABCD AB CD ABCD

A B (DC)

A B (DC) A B (D C)

A C D B

A (CB) D

A (C B) D

A (C B) D

A CB D

8. La simplificacin de la siguiente funcin lgica da como resultado F(A,B,C,D)= (0,4,8,9,12,14,15) + X(2,6,10) ( A B C)( A C)D ( A C)( A B C)D (B C)( A B C)D (B C)(B C)D ( A B C)( A B C)

( A B C)( A B C)D

( A B C)(B C)D

BCD AD BC

9. La figura muestra cuatro interruptores que son parte de la circuitera de control de una mquina copiadora. Los interruptores se encuentran en distintos puntos a lo largo del camino que recorre el papel dentro de la mquina. Cada interruptor est normalmente abierto y, cuando el papel pasa sobre el interruptor, ste se cierra. Es imposible que los interruptores S1 y S4 se cierren al mismo tiempo. Escriba una funcin lgica que genere una salida alto cada vez que dos o ms interruptores estn cerrados continuamente al mismo tiempo siguiendo los siguientes pasos: Escriba la tabla de la verdad. Escriba la funcin para la tabla de la verdad. Simplifique la ecuacin usando mapas de Karnaugh, considere las condiciones no importa.
S1 S2 S3 S4 +5V +5V +5V +5V CIRCUITO LGICO X