Informe N 4 Simplificacin de funciones lgicas 1. Objetivos Simplificar funciones utilizando mapas de Karnaugh y el mtodo de Quine McCluskey.

key. Analizar las soluciones a las preguntas de forma prctica. Resolver problemas reales planteados a travs de simplificacin de funciones. Simplificar funciones empleando ambos mtodos mencionados.

2. Fundamento terico Por simplificacin de una funcin lgica se entiende la obtencin de su mnima expresin. A la hora de implementar fsicamente una funcin lgica se suele simplificar para reducir as la complejidad del circuito. Suponiendo que conozcamos la tabla de la verdad de un circuito combinacional, a partir de la cual deseamos disear dicho circuito, lo ms corriente es tener que buscar una expresin simplificada de la funcin o funciones a implementar. Se tienen varias formas de simplificar una funcin: Algebraico Para la simplificacin por este mtodo no slo bastar con conocer todas las propiedades y teoremas del lgebra de Boole, adems se debe desarrollar una cierta habilidad lgico-matemtica que se adquiere fundamentalmente con la experiencia. Como ejemplo se simplificar la siguiente funcin: F = AC + ABC + BC + ABC + ABC Observando cada uno de los sumando podemos ver que hay factores comunes en los sumandos 2 con 5 y 4 con 5 que conllevan simplificacin: F = AC + BC + BC(A + A) + AC(B + B) Note que el trmino 5 se ha tomado dos veces, de acuerdo con la propiedad que dice que A + A = A. Aplicando las propiedades del lgebra de Boole (A + A' = 1 y A . 1 = A), queda F = AC + BC + BC + AC Repitiendo nuevamente el proceso, F = A( C + C) + B( C + C) = A + B No siempre las funciones son tan fciles de simplificar como la anterior. El mtodo algebraico, por lo general, no resulta cmodo para los no expertos, a los cuales, una vez simplificada una ecuacin le pueden quedar serias dudas de haber conseguido la mxima simplificacin. Mapa de Karnaugh Un diagrama de Karnaugh es una asociacin de cubculos o casilleros adyacentes, donde cada cubculo representa a un mintrmino, maxtrmino, los cubculo del diagrama deben cumplir con el principio de adyacencia que establece que dos cubculos o ms son adyacentes en forma horizontal y/o vertical, cuando para pasar de un cubculo a otro solo cambia una variable por vez. Este mtodo consiste en formar diagramas de 2n cuadros, siendo n el nmero de variables. Cada cuadro representa una de las diferentes combinaciones posibles y se disponen de tal forma que se puede pasar de un cuadro a otro en las direcciones horizontal o vertical, cambiando nicamente una variable, ya sea en forma negada o directa.

Este mtodo se emplea fundamentalmente para simplificar funciones de hasta cuatro variables. Para un nmero superior utilizan otros mtodos como el numrico. A continuacin pueden observarse los diagramas, tambin llamados mapas de Karnaugh, para dos, tres y cuatro variables.

Mapas de Karnaugh para dos, tres y cuatro variables Es una prctica comn numerar cada celda con el nmero decimal correspondiente al trmino cannico que albergue, para facilitar el trabajo a la hora de plasmar una funcin cannica. Para simplificar una funcin lgica por el mtodo de Karnaugh se seguirn los siguientes pasos: 1) Se dibuja el diagrama correspondiente al nmero de variables de la funcin a simplificar. 2) Se coloca un 1 en los cuadros correspondientes a los trminos cannicos que forman parte de la funcin. 3) Se agrupan mediante lazos los unos de casillas adyacentes siguiendo estrictamente las siguientes reglas: a) Dos casillas son adyacentes cuando se diferencian nicamente en el estado de una sola variable. b) Cada lazo debe contener el mayor nmero de unos posible, siempre que dicho nmero sea potencia de dos (1, 2, 4, etc.) c) Los lazos pueden quedar superpuestos y no importa que haya cuadrculas que pertenezcan a dos o ms lazos diferentes. d) Se debe tratar de conseguir el menor nmero de lazos con el mayor nmero de unos posible. 4) La funcin simplificada tendr tantos trminos como lazos posea el diagrama. Cada trmino se obtiene eliminando la o las variables que cambien de estado en el mismo lazo. Se puede simplificar nicamente en potencias de 2, es decir 1 (20), 2(21), 4(22), 8(23), 16(24), 32(25), etc. A modo de ejemplo se realizan dos simplificaciones de una misma funcin a partir de sus dos formas cannicas: F = 3(0,2,3,4,7) = 3(1,2,6) De acuerdo con los pasos vistos anteriormente, el diagrama de cada funcin quedar del siguiente modo:

Simplificacin de una funcin de tres variables La funcin simplificada tendr tres sumandos en un caso y dos productos en el otro. Si nos fijamos en el mapa correspondiente a la suma de productos, observamos que en el lazo 1 cambia la variable A (en la

celda 0 es negada y en la 4 directa), en el lazo 2 es la C y en el lazo 3 vuelve a ser A. por lo tanto, la ecuacin simplificada es: F = BC + AB + BC Razonando de modo similar en el mapa de productos de sumas, nos quedar lo siguiente: F = (B + C)(A + B + C) Mtodo numrico de Quine-McCluskey El algoritmo Quine-McCluskey permite la simplificacin de funciones lgicas de cualquier nmero de variables y es el que se utiliza para disear aplicaciones informticas en las que se necesite obtener funciones simplificadas. Aplicable a cualquier nmero de variables. A continuacin se indican los pasos a seguir en este mtodo a partir de un ejemplo. 1) Se expresa la funcin a simplificar en su forma cannica de suma de productos. Sea la siguiente funcin a simplificar: F = S4 (0,1,2,3,5,9,11,12,13,15) 2) Se forma una tabla con el valor decimal de la combinacin, el estado de las variables y el ndice (nmero de unos que contiene el estado de las variables). Comb. Estado ndice 0 0000 0 1 0001 1 2 0010 1 3 0011 2 5 0101 2 9 1001 2 11 1011 3 12 1100 2 13 1101 3 15 1111 4 3) Se agrupan las combinaciones cuyos estados difieren en una sola variable, sustituyndola por un guion bajo (_). Las combinaciones utilizadas se marcan con un aspa (X). Hay que fijarse en las combinaciones cuya diferencia entre sus respectivos ndices es la unidad.

Agrupacin de las combinaciones 4) Se repite el proceso anterior las veces que sean necesarias y se van eliminando estados idnticos.

Nueva agrupacin de las combinaciones 5) Se forma una tabla con las combinaciones finales y las no agrupadas. Se toman como filas las combinaciones finales y las no agrupadas y como columnas los valores decimales de dichas combinaciones. Cada celda que contenga el valor decimal de una combinacin se marca con un aspa. A continuacin nos fijamos en aquellas columnas con una sola aspa; sus combinaciones sern esenciales. Finalmente se toman aquellas combinaciones de los valores decimales no seleccionados, teniendo precaucin de no tomar aquellas combinaciones cuyos valores decimales hayan sido ya tomados en otras combinaciones. La funcin simplificada final viene dada por las combinaciones esenciales y estas ltimas. 3. Materiales o o o o o Circuitos integrados 74LS04, 74LS32, 74LS08, 74LS11, 74LS27, 74LS02; uno de cada uno. Resistencias de 10[K]; 1[K]; 330 [] y 3.9 [k] todos de 0.5 [W]. Diodos emisores de luz (LED) Fuente de corriente continua de aproximadamente 5V Interruptor DIP 4. Experimento 4.1.Representar en un mapa de Karnaugh la siguiente funcin booleana y simplificarla. Dar su diseo lgico.
Tabla de verdad

A 0 0 1 1
Mapa de Karnaugh para dos variables

B 0 1 0 1

1 1 0 0

1 0 1 0

1 1 1 0

0 0 1 Funcin simplificada: 1 1

1 1 0

De la funcin anterior se tiene el siguiente circuito a implementar:

VDD 5V J3 Key = A VDD 5V J4 U3C 74LS04D U3D 74LS04D U1B 74LS32D R2 10 LED2

Key = B

Se tienen los siguientes resultados obtenidos experimentalmente y comprobados en la simulacin:

VDD 5V J3 Key = A VDD 5V J4 VDD U3C 74LS04D U3D 74LS04D VDD U3C 74LS04D U3D 74LS04D U1B 74LS32D 5V R2 10 LED2 VDD 5V Key = A J4 74LS04D U3D 74LS04D U1B 74LS32D 5V R2 10 LED2 VDD 5V Key = A J4 74LS04D U3D 74LS04D U3C U1B 74LS32D J3 U3C U1B 74LS32D

R2 10 LED2

Key = B VDD 5V J3 Key = A VDD 5V J4

Key = B J3

R2 10 LED2

Key = B

Key = B

Experimentalmente se comprueban los resultados mostrados tanto en la simulacin como experimentalmente. 4.2.Simplificar empleando los mapas de Karnaugh y el mtodo tabular de Quine McCluskey. Implemente el circuito empleando solamente compuertas NAND.

Se tiene su tabla de verdad: A 0 0 0 0 1 1 B 0 0 1 1 0 1 C 0 1 0 1 0 1 D 1 1 1 1 1 1 Nmero 1 3 5 7 9 15 1 1 1 1 1 1

De la anterior funcin se realiza el mapa de Karnaugh para cuatro variables: 00 00 01 11 10 La funcin obtenida es: 0 1 1 0 01 0 1 1 0 11 0 0 1 0 10 0 1 0 0

 Mtodo de Quine McCluskey. Nmero 1 3 5 7 9 15 Funcin simplificada: A 0 0 0 0 1 1 B 0 0 1 1 0 1 C 0 1 0 1 0 1 D 1 1 1 1 1 1 i 1 2

3 4

1 3 5 9 7 15

1,3 (2) 1,5 (4) 1,9 (8) 3,7 (4) 5,7 (2) 7,15 (8)

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

Se implementa experimentalmente el siguiente circuito:

VDD 5V R1 3.9k VDD 5V R2 3.9k VDD 5V R3 3.9k VDD 5V R4 3.9k

U1A

U2A 74LS08D U2B

U3B 74LS32D

74LS04D U1B 74LS04D U1C 74LS04D

R5 470

74LS08D U2C 74LS08D

U3A 74LS32D

U2D 74LS08D

LED1

U4A 74LS08D

J1 Key = A

J2 Key = B

J3 Key = C

J4 Key = D

Las 16 combinaciones posibles se comprueban experimentalmente y en la simulacin computarizada. 4.3.Se desea controlar una vlvula de caudal de un depsito de agua, para lo cual, se utiliza tres sensores, dos sensores de nivel de agua uno al fondo y otro en la cima del tanque, el tercer sensor abrir y cerrar la vlvula para que no rebalse el agua del depsito. Nota: 1= sensor activado 0=sensor desactivado 1=abre vlvula 0= cierra vlvula
VDD 5V R1 3.9k VDD 5V R2 3.9k U1A 74LS04D J1 Key = A J2 Key = B LED1 R5 470

4.4.Un sistema de alarma est constituido por cuatro detectores a, b, c y d; el sistema debe activarse cuando se activen tres o cuatro detectores, si slo lo hacen dos detectores, es indiferente la activacin o no del sistema. Por ltimo, el sistema nunca debe activarse si se dispara un solo detector o ninguno. Se tiene la tabla de verdad para el problema planteado: A 0 1 1 1 1 Mtodo de mapas de Karnaugh 00 00 01 11 10 Funcin simplificada: 0 0 0 0 01 0 0 1 0 11 0 1 1 1 10 0 0 1 0 B 1 0 1 1 1 C 1 1 0 1 1 D 1 1 1 0 1 Nmero 7 11 13 14 15

1 1 1 1 1

El circuito a implementar experimentalmente es:

VDD 5V R1 3.9k VDD 5V R2 3.9k VDD 5V R3 3.9k VDD 5V R4 3.9k U2A U3A 74LS08D U2B 74LS08D J1 Key = A J2 Key = B LED1 J3 Key = C J4 Key = D 74LS32D R5 470

Se demuestra experimentalmente que para las cinco combinaciones para las cuales la funcin da 1 lgico son verdaderas, adems tambin se demuestra para el caso contrario, es decir, que la funcin de 0 lgico. En conclusin se demuestran experimentalmente todas las 16 combinaciones posibles dada la funcin a la que obedece el circuito.

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U2A U3A 74LS08D U2B 74LS08D 74LS32D R5 470 74LS08D U2B 74LS08D J1 Key = A J2 Key = B LED1 J3 Key = C J4 Key = D 74LS32D R5 470 U2A U3A VDD 5V R1 3.9k VDD 5V R2 3.9k VDD 5V R3 3.9k VDD 5V R4 3.9k

J1 Key = A

J2 Key = B

LED1 J3 Key = C J4 Key = D

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U2A U3A 74LS08D U2B 74LS08D 74LS32D R5 470

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U2A U3A 74LS08D U2B 74LS08D 74LS32D R5 470

J1 Key = A

J2 Key = B

LED1 J3 Key = C J4 Key = D

J1 Key = A

J2 Key = B

LED1 J3 Key = C J4 Key = D

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U2A U3A 74LS08D U2B 74LS08D 74LS32D R5 470

J1 Key = A

J2 Key = B

LED1 J3 Key = C J4 Key = D

4.5.Disear el circuito de control de un motor mediante tres pulsadores, a, b y c, que cumpla las siguientes condiciones de funcionamiento: Si se pulsan los tres pulsadores, el motor se activa. Si se pulsan dos pulsadores cualesquiera, el motor se activa, pero se enciende una lmpara de peligro. Si slo se pulsa un pulsador, el motor no se activa, pero s se enciende la lmpara indicadora de peligro. Si no se pulsa ningn pulsador, el motor y la lmpara estn desactivados. Se tiene la siguiente tabla de verdad: A 0 0 0 0 1 B 0 0 1 1 0 C 0 1 0 1 0 Nmero 0 1 2 3 4

0 0 0 1 0

0 1 1 1 1

1 1 1

0 1 1

1 0 1

5 6 7

1 1 1

1 1 0

Mtodo de mapas de Karnaugh Para la funcin 00 0 1 Funcin simplificada: 0 0 01 0 1 11 1 1 10 0 1

Para la funcin 00 0 1 Funcin simplificada: 0 1 El circuito a implementar experimentalmente es:

VDD 5V R1 3.9k VDD 5V R2 3.9k VDD 5V R3 3.9k U2A 74LS08D U1A 74LS04D U1C 74LS04D U3A 74LS32D U2C 74LS08D LED1 R5 470

01 1 1

11 1 0

10 1 1

U3C 74LS32D

R4 470 LED2

U3B 74LS32D

U2B 74LS08D

J1 Key = A

J2 Key = B

J3 Key = C

Se demuestra experimentalmente que para las nueve combinaciones para las cuales la funcin da 1 lgico son verdaderas, adems tambin se demuestra para el caso contrario, es decir, que la funcin de 0 lgico. En conclusin se demuestran experimentalmente todas las 16 combinaciones posibles dada la funcin a la que obedece el circuito. 4.6.Las cuatro lneas que entran al circuito lgico combinacional que se ilustra en la figura siguiente, llevan un dgito decimal codificado en binario. Es decir, los equivalentes binarios de los dgitos decimales 0-9 pueden aparecer en las lneas A B C D. El bit ms significativo es A.

Las combinaciones de valores correspondientes a los equivalentes binarios de los nmeros decimales 1015 nunca aparecern en las lneas. La nica salida Z del circuito debe ser 1 si y slo si las entradas representan un nmero que sea cero o una potencia de 2. Se tiene la tabla de verdad: A 0 0 0 1 Mtodo de mapas de Karnaugh 00 00 01 11 10 Funcin simplificada: 1 1 0 0 01 1 0 0 0 11 0 0 0 0 10 1 0 0 0 ] B 0 0 1 0 C 0 0 0 0 D 0 1 0 0 Nmero 0 1 4 8 1 1 1 1

[ El circuito a implementar experimentalmente es:

VDD 5V R1 3.9k VDD 5V R2 3.9k VDD 5V R3 3.9k VDD 5V R4 3.9k U1B 74LS04D

U3A 74LS32D

U2C 74LS08D U3B U2D 74LS08D R5 10

U2A U1A 74LS08D 74LS04D U1C 74LS08D 74LS04D U1D 74LS04D J1 Key = A J2 Key = B J3 Key = C J4 Key = D U2B

74LS32D

LED1

Se tienen las cuatro combinaciones para las cuales la funcin da 1 lgico:

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U1B 74LS04D U2A U1A 74LS08D 74LS04D U1C 74LS08D 74LS04D U1D 74LS04D LED1 U2B 74LS32D 74LS08D R5 10 U3A 74LS32D U2C

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U1B 74LS04D U3A 74LS32D U2C 74LS08D U3B 74LS08D 74LS04D U1C 74LS08D 74LS04D U1D 74LS04D LED1 U2B 74LS32D 74LS08D R5 10 U2D

74LS08D U3B U2D U1A

U2A

J1 Key = A

J2 Key = B

J3 Key = C

J1 J4 Key = D Key = A

J2 Key = B

J3 Key = C

J4 Key = D

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U1B 74LS04D U2A U1A 74LS08D 74LS04D U1C 74LS08D 74LS04D U1D 74LS04D LED1 U2B 74LS32D 74LS08D R5 10 U3A 74LS32D U2C

VDD 5V R1 3.9k

VDD 5V R2 3.9k

VDD 5V R3 3.9k

VDD 5V R4 3.9k U1B 74LS04D U3A 74LS32D U2C 74LS08D U3B 74LS08D 74LS04D U1C 74LS08D 74LS04D U1D 74LS04D LED1 U2B 74LS32D 74LS08D R5 10 U2D

74LS08D U3B U2D U1A

U2A

J1 Key = A

J2 Key = B

J3 Key = C

J1 J4 Key = D Key = A

J2 Key = B

J3 Key = C

J4 Key = D

5. Conclusiones Se demostraron experimentalmente y mediante simulacin en computadora todas las combinaciones posibles en todos los circuitos. Tambin se simplificaron funciones mediante los mtodos de mapas de Karnaugh y de Quine McCluskey. Se resolvieron problemas reales planteados de manera literal y se hizo su interpretacin lgica para resolverlos mediante los conceptos de sistemas digitales.