ELECTRONICA Y AUTOMATICA

Grado de Ingeniera Mecnica

PRINCIOS DE ELECTRONICA DIGITAL

1.-SISTEMAS DE NUMERACIN
En un sistema de base b, un nmero N cualquiera se puede representar mediante un polinomio de potencias de la base multiplicadas por un smbolo perteneciente al sistema:

N = anbn + an-1bn-1 + ...+a2b2 + a1b1 + a0b0 + a--1b-1 + a-2b-2 + ...+ a-pb-p siendo: 0 ai b n+1: nmero de cifras enteras p: nmero de cifras fraccionarias Ejemplo: En base decimal: 0 ai 10

87.54 = 8x101 + 7x100 + 5x10-1 + 4x10-2 En base dos: 0 ai 2

1011,11 = 1x23 + 0x22 + 1x21 +1x20 + 1x2-1 + 1x2-2 Para indicar la base, en caso de confusin, sta se suele indicar como subndice del mismo: 87.5410, 1011.112 SISTEMA BINARIO. Este sistema utiliza solamente dos smbolos distintos que se representan por 0 y 1 y reciben el nombre de bit. Su uso es debido a la seguridad y rapidez de respuesta de los elementos fsicos que poseen dos estados diferenciados y a la sencillez de las operaciones aritmticas en este sistema, que compensan la necesidad de utilizar mayor nmero de cifras para representar una misma cantidad que en los sistemas cuya base es mayor que dos. CONVERSIN DE UN NMERO ENTERO EXPRESADO EN BASE 10 A BASE 2: Conversin de un nmero entero expresado en base 10 a base 2: Para escribir un nmero entero en binario, hemos de dividir sucesivamente el nmero por 2 hasta que el resto sea menor que dos.

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Por ejemplo, para escribir el nmero entero 524 en binario, lo dividiremos sucesivamente por 2:

52410 = 10000011002 La expresin en binario se obtiene tomando el ltimo cociente y todos los restos desde el ltimo hasta el primero. Conversin de un nmero fraccionario expresado en base 10 a base dos: Para expresar un nmero fraccionario en binario, se multiplica sucesivamente por 2 y se toman la parte entera de cada uno de los productos del primero al ltimo.

El proceso terminara cuando la parte fraccionaria obtenida fuese nula. 0.82510 = 0,1101001...2 CONVERSIN DE UN NMERO BINARIO A DECIMAL: Para expresar un nmero binario a decimal, se utiliza la siguiente expresin: N = an 2n + an-1 2n-1 + ...+a2 22 + a1 21 + a0 20 + a-1 2-1 + a-2 2-2 + ...+ a-p 2-p donde: ai =0, 1 n+1: nmero de cifras enteras p: nmero de cifras fraccionarias Por ejemplo, para saber qu nmero decimal es el nmero binario 1011,11

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica 1011,11 = 1x23 + 0x22 + 1x21 +1x20 + 1x2-1 + 1x2-2=8+0+2+1+0,5+0,25=11,75 Este cdigo binario recibe el nombre de cdigo binario natural. Es el ms utilizado en la realizacin de calculadoras digitales, pero existen otros muchos cdigos binarios diferentes del natural, utilizados por sus peculiares caractersticas (con n cifras, se pueden obtener 2n combinaciones diferentes, y, por tanto, 2n! cdigos binarios). Este cdigo, cumple la propiedad de que es ponderado, es decir, que se cumple que, asignando un peso a cada bit, el nmero decimal correspondiente a una determinada combinacin binaria lo podemos obtener sumando los pesos de los bits donde tenemos 1:
DGITO DECIMAL CDIGO BINARIO NATURAL P3 P2 P1 P0 3 2 1 0 2 2 2 2 8 4 2 1 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1

0 1 2 3 4 5 6 7 8 9

Segn estos pesos, por ejemplo, el nmero 1101 ser 13.

2.- CODIFICACIN
Existen mltiples cdigos binarios justificados a sus necesidades bsicas, como: a) Nmero de smbolos a representar: Con n posiciones, podemos representar 2n elementos distintos. b) Deteccin y correccin de errores: La necesidad de evitar errores hace que surjan mtodos especiales de cdigos. Uno de los ms empleados es el de la paridad (aadir un bit ms de forma que todos los elementos representados tengan un nmero de 1 par o O impar). Es el llamado bit de paridad.

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica c) Redundancia: Es necesario para cdigos que tengan capacidad de autoeliminacin de errores. Se entiende por cdigo binario una representacin unvoca de las cantidades de tal forma que, a cada una de stas, se asigna una combinacin de smbolos determinados y viceversa. De aqu, se desprende que los sistemas de numeracin estudiados anteriormente constituyen cdigos de representacin de cantidades. El sistema binario recibe el nombre de cdigo binario natural. Es el ms utilizado en la realizacin de calculadoras digitales, pero existen otros muchos cdigos binarios diferentes del natural, utilizados por sus peculiares caractersticas (con n cifras, se pueden obtener 2n combinaciones diferentes, y, por tanto, 2n! cdigos binarios). Cuando queremos representar tanto cifras como cualquier otra informacin, en primer lugar hemos de saber cuntos bits necesitamos. Por ejemplo, para representar diez cosas distintas, se necesitan 4 bits (porque con 3 bits slo podramos representar 23 = 8 cosas (del 0 al 7)). Por lo tanto, de las 2 4 = 16 combinaciones posibles con cuatro bits en los cdigos binarios, solamente se usan diez. Es decir, si tenemos que representar N cosas distintas, necesitaremos n bits, de tal forma que 2n N.

3.- LGEBRA DE BOOLE

Creada por George Boole con finalidad el estudio de la lgica. En 1938, Shanon adapt este lgebra al anlisis de redes de conmutacin con contactos mltiples y, actualmente, se utiliza como ayuda para el diseo de circuitos lgicos en sistemas digitales. Un lgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores perfectamente diferenciados que designaremos por 0 y 1 y que estn relacionados por dos operaciones binarias llamadas suma (+) y producto () lgicos que cumplen los siguientes postulados: a) Ambas operaciones son conmutativas, es decir, si a y b son dos elementos del lgebra, se verifica: a+b=b+a ab=ba b) Dentro del lgebra, existen dos elementos neutros, el 0 y el 1, que cumplen la propiedad de identidad con respecto a cada una de dichas operaciones: 0+a=a 1a=a c) Cada operacin es distributiva con respecto a la otra: a (b + c) = a b + a c a + ( b c ) = (a + b ) (a + c) d) Para cada elemento a del lgebra, existe un elemento llamado , tal que: a+=1 a=0

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Esta operacin, define realmente una nueva operacin fundamental que es la inversin o complementacin de una variable. La variable se encuentra siempre en un estado binario contrario al de a. La primera ecuacin expresa la imposibilidad de que a y tomen el valor lgico cero al mismo tiempo y la segunda ecuacin indica que nunca pueden tener el valor lgico uno al mismo tiempo. Por lo tanto, la tabla de verdad de la inversin o complementacin es de la forma:
a 0 1 1 0

TEOREMAS DEL LGEBRA DE BOOLE. A partir de los postulados, se deducen los teoremas siguientes. Su demostracin se puede realizar tambin mediante la tabla de verdad: expresin algebraica binaria que representa los valores que dicha expresin puede tomar para cada combinacin de estados de las variables que forman parte de la misma. Dos expresiones algebraicas que tienen la misma tabla de verdad son equivalentes. TEOREMA 1: Cada identidad deducida de los anteriores postulados del lgebra de Boole permanece vlida si la operacin + y y los elementos 0 y 1 se intercambian entre s. ste es el principio llamado de dualidad. TEOREMA 2: Para cada elemento a de un lgebra de Boole se verifica: a+1=1 y a0=0 Demostraremos la primera igualdad y, por el principio de dualidad, quedar demostrada la segunda. Dem.1 = a + = (a + ) 1 = ( a + ) ( a + 1) = 1 ( a + 1) = a + 1

TEOREMA 3: Para cada elemento a de un lgebra de Boole se verifica: a+a=a y aa=a Demostraremos la primera igualdad. Dem.5

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica a= a + 0 = a + a = (a + a) (a + ) = a + a TEOREMA 4: Para cada par de elementos de un lgebra de Boole a y b se verifica: a + ab = a y a (a + b) = a Esta ley se denomina de absorcin. Lo demostraremos algebraicamente y mediante la tabla de verdad. - Algebraicamente. a = 1 a = (1 + b) a = 1 a + ab = 1 + ab - Tabla de verdad:
a 0 0 1 1 b a + ab 0 0 1 0 0 1 1 1

como vemos, la columna de a + ab es igual a la de a. TEOREMA 5: las operaciones suma y producto son asociativas. a + (b + c) = (a + b) + c = a + b + c a (b c) = (a b) c = a b c Se demuestra fcilmente mediante la tabla de verdad. TEOREMA 6: para todo elemento de un lgebra de Boole se verifica:
a a Su demostracin es inmediata mediante la tabla de verdad.
a a a
0 1 1 0 0 1

De este teorema se deduce que, en toda lgebra de Boole: 0 1 1 0 y TEOREMA 7: en toda lgebra de Boole se verifica:

a b c d ... abcd ....

abcd ... (1)

a b c d ... (2)

Demostraremos la primera de estas igualdades, denominadas Leyes de Morgan, con lo que la segunda quedar demostrada por dualidad. Dem.Para que a b

ab , se ha de verificar:

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica
( a b) ab ( a b) ab 0 1

aplicando los postulados y teoremas ya estudiados, resulta: ( a b) ab a ab b ab 0 0 0

( a b ) ab (a b a)(a b b) 11 1

Este teorema define realmente dos nuevas funciones lgicas de gran importancia que sern utilizadas como elementos bsicos para la realizacin de sistemas digitales. Estas dos funciones, que realizan las expresiones (1) y (2), se denominan respectivamente NO-O (NOR) y NO-Y (NAND). Las tres funciones elementales: suma, producto e inversin lgica, pueden ser realizadas mediante las funciones NO-Y y NO-O. Aplicando el teorema de Morgan, tenemos:
ab a b ab a b ab a b

y la inversin se realiza mediante una funcin NO-O o NO-Y de una sola entrada. En la siguiente internacionalmente: figura, se representan los smbolos adoptados

La inversin se representa normalmente mediante un crculo; por lo tanto, los smbolos NO-O (NOR) y NO-Y (NAND) se deducen respectivamente de las funciones O e Y aadindoles un crculo. El teorema de Morgan indica que existen dos formas de expresar la funcin NO-O (NOR) y la funcin NO-Y (NAND): a b ab ab a b La segunda expresin de la funcin NO-O se puede representar mediante el smbolo de la funcin Y precedido de dos inversiones. Igualmente, la funcin NO-Y se puede representar mediante el smbolo de la funcin O precedido de dos inversiones. As se muestra en la figura 2. Figura 2: Smbolos de la funcin NO-O (NOR) y NO-Y (NAND).

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Las funciones NO-O (NOR) y NO-Y (NAND) de una sola variable constituyen la funcin de inversin, por lo que esta funcin se puede representar mediante el smbolo de cualquiera de ellas con una sola variable de entrada o mediante un smbolo especial constituido por un tringulo seguido de un crculo. Estos tres smbolos se representan en la figura 3.

La realizacin de las funciones suma, producto e inversin con las funciones NO-Y y NO-O se representan grficamente mediante los smbolos que acabamos de estudiar.

Producto.

Suma.

Inversin.

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica

4.- FUNCIONES BOOLEANAS.

Una funcin de un lgebra de Boole es una variable binaria cuyo valor es igual al de una expresin algebraica en la que se relacionan entre s las variables binarias por medio de las operaciones bsicas, producto lgico, suma lgica e inversin. Nuestro objetivo es disear un sistema digital que realice una cierta funcin dependiendo de lo que ocurra en las variables de las que depende que mi sistema tenga que hacer una cosa u otra. Por ejemplo, consideremos que hemos de disear un sistema que, automticamente, se encargue de cerrar una ventana si la temperatura baja de 20C. En este caso, la salida de mi sistema slo puede tener dos opciones: cerrar la ventana o no cerrar la ventana. Como slo hemos de codificar dos cosas, con un bit tendremos suficiente para codificarlas, ya que 2(cosas a codificar)=2 1(nmero
necesitamos para codificarlas) de bits que

. Por lo tanto, elegimos, por ejemplo:

Ahora bien, de lo que depende que mi sistema de la orden de cerrar la ventana o no, es de la temperatura y tambin tenemos dos posibilidades: que la temperatura sea superior a 20C o que la temperatura sea inferior a 20C. Por lo tanto, de nuevo necesitamos un nico bit para codificar la temperatura: elegimos una variable que llamamos a:

Por ltimo, hemos de indicar cmo ha de ser la dependencia de f (salida del sistema) con la variable de la depende, a, (entradas del sistema) para que funcione tal y como nos han indicado. En nuestro caso, como la ventana ha de cerrarse cuando la temperatura sea inferior a 20C, es evidente, que f ha de tomar el valor 1 cuando a tambin tome el valor 1 y, por tanto, tendremos:

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica sta es la solucin que daramos y que, como vemos, es una funcin f binaria (slo codificada con 0 y 1) que depende de variables tambin binarias.

Sin embargo, este ejemplo es muy sencillo, pero tendremos casos ms complicados cuando, por ejemplo, lo que tenga que hacer nuestro sistema dependa de ms variables. Por ejemplo, supongamos que aadimos la condicin de que si el da es festivo, la ventana est siempre cerrada sea cual sea la temperatura. En este caso, tendremos una nueva variable de entrada para codificar da festivo/da no festivo. Como, de nuevo, slo hay dos posibilidades, necesitamos tambin un nico bit al que llamaremos b:

Ahora, la solucin ser que f debe ser un 1 (ventana cerrada) siempre que la temperatura sea inferior a 20C y siempre que el da sea festivo, con lo que solucin ser:

Podemos comprobar que, con esta expresin para f, se cumplen los requisitos dados para todas las posibilidades que nos podemos encontrar en las variables de entrada:

10

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Es evidente que, cuando aumenta el nmero de variables de entrada de las que depende nuestro sistema, se complica el escribir la funcin que representa lo que ha de hacer nuestro sistema y tambin se complicar si la salida puede tener ms de dos opciones, como es el caso del ejemplo. Adems, la funcin que represente el sistema ha de ser obligatoriamente la ms sencilla posible. Con el ejemplo anterior, hemos ilustrado lo que es una funcin booleana (f) que, como hemos dicho, se trata de una variable binaria que depende de otras variables binarias (a y b).

Se representa una funcin lgica por la expresin f = f(a,b,c,...). El valor lgico de f depende del de las variables a, b, c, ... Se llama trmino cannico de una expresin lgica a todo producto o suma en la aparecen todas las variables en su forma directa o inversa. Al primero de ellos se le llama producto cannico (minterm) (ej. abc ) y al segundo, suma cannica (maxterm) (ej. (a b c) ). El nmero mximo de productos cannicos o sumas cannicas viene dado por las variaciones con repeticin de dos elementos tomados de n en n. El nmero de productos o sumas cannicas de n variables es, por lo tanto, 2 n. Una funcin booleana puede representarse bsicamente de tres formas: TABLA DE VERDAD DE UNA FUNCIN LGICA. La tabla de verdad de una funcin lgica es una forma de representacin de la misma, en la que se indica el valor 1 o 0 que toma la funcin para cada una de las combinaciones posibles de las variables de las que depende. Ejemplo:
0 1 2 3 4 5 6 7 c 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 a 0 1 0 1 0 1 0 1 f 0 1 0 1 1 0 1 1

En la tabla anterior, hemos escrito la tabla de verdad de una funcin (f ) que depende de tres variables (a, b, c). EXPRESIN ALGEBRAICA DE UNA FUNCIN LGICA.

11

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica A partir de la tabla de verdad, podemos obtener la expresin algebraica de la funcin. Esta expresin algebraica puede tener dos formas: EXPRESIN ALGEBRAICA COMO SUMA DE PRODUCTOS: Hemos de fijarnos en aquellas combinaciones de las variables de entrada para las que la funcin toma el valor 1. En nuestro caso, estas combinaciones son:
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 f 0 0 1 1 1 0 1 0

Cada una de estas combinaciones se corresponder con un producto en el que las variables de entrada que sean 1, se escribirn en su forma directa (a, b o c) y las que sean 0, en su forma negada ( ). Por lo tanto, para nuestro ejemplo tendremos:

EXPRESIN ALGEBRAICA COMO PRODUCTO DE SUMAS: Hemos de fijarnos en aquellas combinaciones de las variables de entrada para las que la funcin toma el valor 0. En nuestro caso, estas combinaciones son:
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 f 0 0 1 1 1 0 1 0

Cada una de estas combinaciones se corresponder con una suma en el que las variables de entrada que sean 1, se escribirn en su forma negada ( ) y las que sean 0, en su forma directa (a, b o c). Por lo tanto, para nuestro ejemplo tendremos:

EXPRESIN NUMRICA A cada combinacin de las variables de entrada le podemos asignar un nmero decimal equivalente sin ms que darle un peso (potencia de 2) a cada una de

12

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica las variables y, luego, sumar los pesos de las variables que toman el valor lgico 1:

Pesos Decimal equivalente =0 =1 =2 =3 =4 =5 =6 =7

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

f 0 0 1 1 1 0 1 0

Por lo tanto, podemos escribir dos expresiones numricas: COMO SUMA DE PRODUCTOS: Sumamos los trminos para los que la funcin toma el valor lgico 1 (igual que en la expresin algebraica) pero ahora slo escribimos los equivalentes decimales de estos trminos:

COMO PRODUCTO DE SUMAS: Multiplicamos los trminos para los que la funcin toma el valor lgico 0 (igual que en la expresin algebraica) pero ahora slo escribimos los equivalentes decimales de estos trminos:

5.- SIMPLIFICACIN DE FUNCIONES.

Ahora ya sabemos cmo representar las funciones algebraicas que van a indicar cmo ha de ser el diseo de nuestros sistemas. En general el proceso a la hora de disear un sistema, ser el siguiente: 1. Definir las variables de entrada y salida (funcin) y asignar su codificacin. 2. Escribir la tabla de verdad que cumpla las especificaciones del sistema. 3. No pasaremos directamente a la expresin algebraica, sino que primero simplificaremos la funcin. 4. Escribiremos la funcin simplificada al mximo (expresin irreducible). 5. Dibujaremos mediante puertas lgicas la funcin.

13

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica En este punto, nos vamos a encargar de la simplificacin de las funciones. Para ello, seguiremos el criterio ms extendido actualmente para minimizar la expresin de una funcin lgica, que es el de obtener una expresin en forma de suma de productos o producto de sumas que tenga un nmero mnimo de trminos con el menor nmero de variables posible en cada uno de ellos. En general, se han de obtener ambas expresiones y utilizar la ms sencilla de ellas. La propiedad que vamos a aplicar fundamentalmente, es: abc... + bc... = bc... (a+ b + c...) ( + b + c...) = (b + c +...) La primera de las dos expresiones, indica que la suma de dos productos cannicos adyacentes lgicamente, es decir, que difieren solamente por el estado lgico de una de las variables, se reduce a un nico producto en el cual se ha suprimido dicha variable. La segunda expresin es la dual de la primera y, por lo tanto, indica lo mismo para las sumas cannicas. Por ejemplo, para la funcin que consideramos en el punto 5.3.2, tenamos:

Pero esta expresin se puede simplificar segn el criterio anterior ya que, por ejemplo, los sumandos primero y ltimo cumplen el criterio anterior, es decir, son idnticos salvo por el estado lgico de la variable a y, por tanto, la suma de ambos trminos nos dar: y la funcin nos quedara:

Aplicando estas propiedades, se logra reducir al mnimo cualquier expresin lgica en forma de producto de sumas o de suma de productos. La expresin final, en la que no se puede suprimir ningn trmino ni eliminar variables de ellos, se denomina expresin irreducible. Existen varias formas de agrupar los trminos para su reduccin y, por tanto, varias expresiones irreducibles. Por ello se idearon los mtodos tabulares que constituyen una forma grfica de representar la tabla de verdad de una funcin lgica. Como hemos visto, los trminos adyacentes pueden reducirse a un solo trmino en el cual se ha suprimido la variable cuyo estado es diferente en ambos. En los mtodos tabulares, los trminos cannicos adyacentes se agrupan en una tabla de tal manera que estn fsicamente contiguos y, por tanto, sea muy sencillo realizar las agrupaciones que permiten reducir al mnimo la expresin de la funcin. 14

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Se han adoptado dos formas diferentes de realizar las tablas, las cuales reciben los nombres de los primeros matemticos que las realizaron, Karnaugh y Veitch. En la figura siguiente, se representan las tablas de Karnaugh de funciones de dos a cinco variables. Tal como observamos, cada cuadrado corresponde a un trmino (producto o suma) cannico cuyo nmero decimal equivalente se indica en el vrtice inferior. Los cuadros que tienen un lado comn, es decir, que son fsicamente adyacentes, corresponden a trminos cannicos que son lgicamente adyacentes y los nmeros decimales que les corresponden se diferencian en una potencia de dos. Adems, los cuadrados de la fila superior son adyacentes a los respectivos de la fila inferior y los de la columna de la izquierda, a los de la derecha. En la tabla de Karnaugh de cinco variables, los de la tabla de la izquierda, son adyacentes a los correspondientes de la tabla de la derecha (ej. el 0 y el 16).

15

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Los cuadrados correspondientes a los trminos cannicos que forman parte de la funcin se indican mediante un uno y los correspondientes a los trminos que no forman parte de la funcin se dejan en blanco. Para obtener la expresin algebraica ms sencilla de la funcin es necesario realizar en la tabla el mnimo nmero de agrupaciones de trminos de la mxima complejidad , de modo que cada uno cubra todos los unos de la tabla. El procedimiento sistemtico de obtener la expresin ms simple es el siguiente: 1. Se toman todos los unos que no se pueden combinar con ningn otro. 2. Se forman los grupos de dos unos que no pueden formar un grupo de cuatro. 3. Se forman los grupos de cuatro unos que no pueden formar un grupo de ocho. 4. Cuando se hayan cubierto todos los unos se detiene el proceso. En la prctica, es necesario realizar este proceso para ambas expresiones cannicas y elegir la ms sencilla de las resultantes.

6.- EJEMPLOS DE SIMPLIFICACIN DE FUNCIONES UTILIZANDO EL MTODO TABULAR DE KARNAUGH.

FUNCIONES CON TRES VARIABLES.
f abc ab ab bc

ab ac bc

ac bc ab

abc abc b ac

16

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica

ac b

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

c b

FUNCIONES DE CUATRO VARIABLES:

f abcd bc ad f abc d abc abc b

bc ad

b ac

(0,1,2,5,6,7,9,10,11)

17

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica

abc acd

abc abd

bc d

abc abd

ac d

abd

abc

FUNCIONES CON CINCO VARIABLES:

f abe bce cd e bd

bd

cd e bce abe

(0,2,4,6,9,11,15,16,18,20,22,25,27,31)

bce bde be

7.- FUNCIONES INCOMPLETAS: DEFINICIN Y APLICACIN DE LOS MTODOS DE SIMPLIFICACIN.

18

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica Hasta ahora, hemos estudiado funciones lgicas en las cuales, para cada combinacin de las entradas, se define un valor lgico uno o cero de la funcin. Estas funciones se denominan totalmente definidas. Tambin existen funciones no totalmente definidas llamadas funciones incompletas, que son aquellas en las que, para una o ms combinaciones de entrada, a la salida se le puede asignar el valor cero o el uno indistintamente. Esta situacin puede presentarse por las dos causas siguientes: 1. No pueden existir una o ms combinaciones de entrada. Por tanto, a la salida correspondiente a esas combinaciones se le puede asignar el valor cero o el valor uno. 2. Cuando aparecen una o ms combinaciones de entrada, la accin de la salida del sistema lgico est inhibida. En consecuencia, el valor de la salida para esas combinaciones de entrada tambin es indiferente. La forma cannica de una funcin incompleta se representa indicando separadamente los trminos cannicos para los cuales la funcin vale uno y los trminos cannicos para los cuales es indiferente (lo que se indica mediante el smbolo ). Sea por ejemplo la funcin incompleta:
f (a, b, c, d )
4

(1,3,6,8,10,11)

(0,2,4,12,13)

En la tabla de verdad de esta funcin se coloca un signo X en las posiciones de f correspondientes a las combinaciones de entrada para las cuales no est definido el estado de la salida.
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 f X 1 X 1 X 0 1 0 1 0 1 1 X X 0 0

La obtencin de una de las expresiones cannicas de una funcin incompleta partiendo de la otra se realiza sin gran dificultad. La funcin inversa f ser indiferente para las mismas combinaciones de entrada. Su expresin cannica en forma de suma de productos estar formada por una parte de trminos

19

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica indiferentes que coincide con la de f y, adems, sern uno los trminos para los que f es cero. Aplicando lo dicho a nuestro ejemplo, resulta:

(5,7,9,14,15)

(0,2,4,12,13)

Invirtiendo f, resulta:
f f (0,1,6,8,10) (2,3,11,13,15)

La minimizacin de estas funciones se puede realizar mediante cualquiera de los dos mtodos estudiados. La nica diferencia con respecto a las funciones totalmente definidas es que a los trminos indiferentes se les puede asignar a voluntad el valor cero o el valor uno. Por tanto, el mtodo tabular de Karnaugh se aplica de la misma forma que antes y, para realizar cada trmino de la funcin que toma el valor uno se agrupan con l el mximo nmero de trminos posible. Para lograrlo, se asignar el valor uno a aquellos trminos indiferentes que permitan simplificar la funcin y el valor cero a los restantes. As, en la siguiente figura, se representa la tabla de Karnaugh de la expresin cannica en forma de suma de productos cannicos de la funcin cuya tabla de verdad se representa en la tabla anterior.

La expresin algebraica correspondiente es: f ab c d a d bcd

8.- IMPLEMENTACIN DE FUNCIONES

Una vez que se ha obtenido la expresin mnima de una funcin, es necesario realizarla en la prctica mediante elementos fsicos. Las puertas ms utilizadas son las NAND y NOR. Para realizar con puertas NAND (NOR) la expresin mnima de la funcin obtenida, se aplicarn las siguientes reglas: a) Se aplican a la expresin global dos inversiones, con lo cual, la misma queda invariante. b) Si la operacin ms externa es una suma (producto) lgica, se opera una de las inversiones aplicando las leyes de Morgan y si es producto (suma) no se operan ninguna de las dos.

20

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica c) Si en el interior de la expresin existen sumas (productos) lgicos, se aplican a cada una de ellas dos inversiones y se opera una de ellas para convertirla en el producto (suma) de inversos. d) Se contina realizando esta operacin hasta que todas las sumas (productos) hayan quedado convertidos en inversos de productos (sumas). Las reglas para realizar cualquier expresin con puertas NOR son iguales a las de la puerta NAND sustituyendo la palabra suma por producto, lo que se ha indicado incluyendo la palabra suma entre parntesis en las reglas que acabamos de indicar. Ejemplos: Transformar f bc ab acd en un circuito lgico: a) Con puertas NAND. b) Con puertas NOR.

a) Aplicamos dos inversiones a la funcin.

f bc ab acd bc ab acd bc ab acd

b) Aplicamos dos inversiones a la funcin.

bc ab acd

bc ab acd

bc ab acd

Transformar f (a c)(b c)(b d ) en un circuito lgico: a) Con puertas NOR. b) Con puertas NAND. a) Aplicamos dos inversiones a la funcin.

21

ELECTRONICA Y AUTOMATICA
Grado de Ingeniera Mecnica
f (a c)(b c)(b d ) (a c)(b c)(b d ) (a c) (b c) (b d )

b) Aplicamos dos inversiones a la funcin:

(a c)(b c)(b d )

(a c)(b c)(b d )

(a c)(b c)(b d )

acbcbd

Es preferible representar con el smbolo de la puerta AND precedida de inversiones aquellas puertas que realizan productos y mediante la puerta OR seguida de inversin las que realizan las sumas. Se pueden aplicar expresiones (aplicando las propiedades distributivas) para utilizar un nmero menor de puertas. En nuestro ejemplo:
f bc ab acd bc a(b c d )

aplicamos dos inversiones:

bc ab acd

bc a(b cd )

bc a(b cd )

bc a(b cd )

bc a(b cd )

bc a(b cd )

22