Leccion 2 Algebra de Boole y puertas logicas 2.1. Postulados y propiedades fundamentales del Algebra de Boole Definicién: Un algebra de Boole es todo conjunto de elementos que toma los valores (0,1) y se relaciona con operaciones AND, OR, y complemento. Un elemento se llama variable Booleriana, (l6gica, 0 binaria) si tinicamente toma los valores ce- ro y uno, Axiomas: Se definen mediante tablas de verdad, en que utilizamos los simbolos 0 para expre- sar la condicién falso y 1 para la condicién verdadero AND me We oj ol]o y 0 | 1 | 0 | AND, Producto 1[o]e ataifa OR x Y¥ xy oj ol]o 0, o | a [1 | or suma i [oy] a 1ftifa Negacién xXx a ‘Complemento, InversiénCapitulo 2 Algebra de Boole Pagina 2 Propiedades: Conmutativa atb=b+a a-b=b-a Asociativa: (atb)+e=a+(b+e) (@-b)-c=a-(b-c) Distributiva a(b+e)=(a-b)+(a-e) at(b-e)=(atb)-(a+o) Las propiedades anteriores nos resultan familiares del dlgebra que ya conocemos, excepto la iltima de ellas, que no se cumple en el algebra ordinaria, En el dlgebra ordinaria la operaciones suma y producto no tienen Ia misma potencia, no son duales. En cambio las operaciones suma y producto en el Algebra de Boole si son duales. Cada operacién que se haga respecto a una de ellas, tiene su correspondiente operacién dual en la otra. Teoremas: atana Ley de absorcién Teorema de Morgan Los teoremas se demuestran por el método de induccién completa, comprobando todos los casos . Como ejemplo vamos a demostrar las dos iltimos teoremas: at(arb)=a ab- ato ab] ab a oof o 00 oi] o 01 ro] o 10 aig | a a i Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 3 3.2. Funciones y expresiones booleanas 3.2.1 Tablas de verdad. Funciones légicas Las tablas de verdad son representaciones grificas, tabulares, de los valores que toma una funcién légica para todos los posibles valores de las variables. Funcién légica es una correspondencia de igualdad entre una variable logica y una expresién de va- riables logicas, relacionados por los tres operadores boolerianos, +, - , / . Una funcién légica (abc,) donde y,a,b,c son variables boolerianas. Es importante asimilar el concepto de funcién légica. Veamos un ejemph Intentemos escribir una funcién logica que exprese la siguiente proposici Apruebo el curso, si apruebo la teoria y el laboratorio Primero hay que identificar las variables boolerianas: AprobarCurso AprobarTeoria AprobarLaboratorio El que una de estas variables tome el valor 1, quiere decir que es cierta, y 0 que es falsa: AprobarTeoria = 1 quiere decit que la Teoria esta aprobada, y AprobarTeoria = 0 que no esté aprobada, Nuestra funcién quedaria: AprobarCurso = AprobarTeoria « AprobarLaboratorio Si la proposicién fuese: Apruebo el curso, si apruebo en Junio, o en Septiembre La funcién seria AprobarCurso = AprobarJunio + AprobarSeptiembre Definiendo dos nuevas variables AprobarJunio y AprobarSeptiembre Fijese como la conjuncién ‘0’ usada en nuestro lenguaje (OR en ingles) equivale al operador “+”, Igualmente la conjuncién ‘y’ (AND en ingles) equivale al operador ‘+ Representaci6én en forma canénica de una funcién booleriana. Una funcién booleriana puede representarse por cualguier expresion entre variables binarias. De cara a utilizar una metodologia es muy til establecer unas formas normalizadas, lamadas formas canénicas. Definimos dos formas canénicas, duales una de la otra por medio de minitérminos y maxitérminos. Un minitérmino es una expresién constituida por cl producto de todas las variables, que hacen que la funci6n sea cierta. Si una variable toma el valor 0 formaré el producto con la variable negada, o sin negar en caso contrario, Un maxitérmino es una expresién constituida por la suma de todas las variables, que hacen que la fun- cidn sea falsa, Si una variable toma el valor 1 formard la suma con la variable negada, o sin negar en caso contrario, Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 4 Teorema: Toda funcién logica puede expresarse por medio de sus dos formas candnicas: minitéminos y maxitérminos. Forma canénica con minitérminos Una funcién légica, en forma canénica con minitérminos, esti constituida por las sumas de todos los minitérminos que hacen que la funcién sea cierta. y =m, +m, +m, Estamos diciendo que la funcién es cierta cuando lo sea cualquiera de los maxitérminos, porque basta que uno de ellos sea uno, para que la suma lo sea. En otras palabras estamos definiendo cuindo la funcién es uno. Por ejemplo para tres variables: eba + cba + cba=m, +m, +m, tenemos que la funcién es cierta para tres conjuntos de valores de las variables, ma, ms, ¥ ms Que sea cierta para m;, por ejemplo, significa que y=1 si (e=0) AND(b=1) AND (a0) Lo mismo podiamos decir de ms, y me Forma canénica con maxitérminos Una funcién logica, en forma canénica con maxitérminos, esta constituida por los productos de todos los maxitérminos que hacen que la funcién sea falsa. Si escribimos y= MM, M, Estamos diciendo que la funcién es falsa cuando lo sca cualquiera de los maxitérminos, porque basta que uno de ellos sea cero, para que el producto lo sea. En otras palabras estamos definiendo cudndo la funcién es cero. Por ejemplo para tres variables: y=(ctb+a): (ct+b+a): (ctb+a) “M,°M, en este ejemplo tenemos que la funcién es cierta para tres conjuntos de valores de las variables, M;, Ms, y My Que sea cierta para Ms, por ejemplo, significa que y=0 si (e¢=1) AND(b=0) AND (a=1) Lo mismo podiamos decir de M:, y Mo El significado de los subindices se definirén en los siguientes apartados. Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 5 Tabla de verdad. Obtencién de las formas canénicas En la tabla de verdad, estin representadas todas las combinaciones de las variables, y el valor que toma la funcién para cada combinacién. Para una funcién de tres variables tendriamos por ejemplo: cba f_ Minitéminos: 900] 0 | La funcinescierta para c= 0 y b=0 y a=l,osea Cha=1 anal c= Oy b=1 y a=losea eba=/ o10)0 e=1y b=0 y a=O,osea cha=1 oriia c= Ly b=1 y a=losea cba=1 1001 FF ig funcién seré 1, cuando lo sea cualquiera de estos 4 minitérminos,o sea: 101) 0 110/0 fF 1iift Maxitérminos: La funcién es falsa para c= 0 y b=0 y a=O,osea c+b+a=0 Oy b=1 y a=0,0sea c+b+a =0 c=1y b=0 y a=losea c+b+a =0 y b=1 y a=O,osea ctb+a =0 Ja funci6n sera 0, cuando lo sea cualquiera de estos 4 minitérminos, o sea: f= (c+b+a) (c+b+a)- (e+b+a ) - (¢+b+a) Formas numéricas La notacién algebraica es engorrosa cuando se manejan muchas variables. Para simplificar la notacién se introducen los criterios siguientes: * Las variables se consideran ordenadas, con el criterio de que la mds significativa, se escri- bea la izquierda. ‘© Una variable sin negar se representa por el valor 1, y negada por el valor 0. * Cada minitérmino se simboliza por m, donde i es el valor binario de las variables ordena- das segiin los critetios anteriores * Cada maxitérmino se simboliza por M;, donde i es el valor binario de las variables ordena- das segiin los criterios anteriores * Una funcién en forma candnica por minitérminos se representa como: LD (bIkK) donde i, j,k... son los ntimeros de los minitérminos que hacen | Ia funcién, y n el numero de variables, © Una funcién en forma canénica por maxitérminos se representa__como: f=TLGakK) donde i, jk... son los nimeros de los maxitérminos que hacen 0 la funcién, y n el numero de variables, Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 6 PRODUCTO minitermino cb a Maxitermino SUMA 000 M; C+B+A oor Me C+B+a o10 Ms C+B+A o1t Ma C+B+Ad 100 Ms C+B+A 101 M2 C+B+A 110 Mi C+B+A lit Mo C+B+4 cba f m, [ooo|o] m, Por minitérminos: m [oot|1| My f= 2%, (43.47) m [oro] o| Ms m fori] i] My my [1090/1] Ms Por maxitérminos: ms {1o1/o] Mz f= JT (425.7) m, {110;o] Mm, m; [1it}i] mM, Para un valor de las variables, el indice del minitérmino y del Maxi término correspondiente es complementario a 2*- 1 , segtin los criterios adoptados. Asi, para n= 3 que es nuestro caso, la suma de ambos siempre es 7. Sin=4 la suma seria 15, etc. Si conocemos una funcidn légica en una forma numérica, y queremos obtener la otra, sin necesidad de escribir la tabla de verdad, escribiremos simplemente los complementos de los indices que no aparecen en la forma dada. Como podemos comprobar en el ejemplo anterior, si tenemos f= ¥,(134,7) ¥ queremos la expresién en maxitérminos, los indices que no aparecen son (0, 2, 5, 6) cuyos comple- mentos a7 son (7, 5,2, 1). Ordenando, tenemos: f = [],,(1,2,5,7) Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 7 Simplificacién de funciones légicas Los procedimientos de simplificacién de funciones logicas son dos, la simplificacién algebraica, apli- cando extensivamente las propiedades del dlgebra de Boole, y simplificacién grafica por medio de tablas de Karnaugh, o tablas de Quine ~ Mc Cluskey. Simplificacién algebraica Simplificar: f= +b +e+ abe fiz a+ Simplificar: f,= (a ¢ + ¢)-(ate)+(be+ata) f= (atte) (ate) (beta eet = (€atea tea +ea)-(ate)* (be-*T)= aed tea)( pert) = (a(ExE) +e(a*a)-(aFé) 1 = (ate)-(aFe}] Simplifiear: f= a Be +abe fyra beta edtab=a Simplificar: fz are+bae fg=ae+bae = a-(e+ be) = a-(c-1+ be) = a-(cb + ch+ be) = a-(cb + cbt be + ch) = a'(chsBHt b-(2+e)) =|a-(c + b), es 7 Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 8 Mapas de Karnaugh Las variables se colocan en una tabla, de forma que cualquier columna (fila) contigua, solo difiera de la anterior en una sola variable. Las variables se consideran ordenadas, con la més significativa a la izquierda. La primera y ultima columna (fila) también se consideran contiguas. Simplificacién con minitérminos Las tablas para 2, 3 y 4 variables son de la forma siguiente: La distribueién de los minitérminos, segin los valores de oo Lor | | 10 las variables, siguen la pauta que se puede observar en las figuras, 00] my | m, | m, | my anfm | mg | my | me 1 {M42 /M5 M15 | 4] 10] mg | m, |m,,|m, BA+BA=B(A+K)=B El algoritmo de simplificacién, con minitérminos, es el siguiente: * Dada una funcién en forma canénica, o mediante la tabla de verdad, mareamos con un “I” las casillas en que las que el correspondiente minitérmino vale “1”. ‘© Identificamos y sefialamos grupos de 16, 8, 4,02 “1” adyacentes, lo mayor posibles, aun- que algin “1” ya pertenezca a otro grupo. Un “1” puede pertenecer a mas de un grupo. * Cada grupo dara lugar a un producto en que solo figuran las variables comunes a dicho grupo. Un grupo de 2 “unos” simplificard la variable que aparezea en forma normal y ne- gada. Un grupo de 4 “unos” simplificara dos variables, y uno de 8, eliminara 3 variables, + La funcién sera la suma de las expresiones de cada grupo, més la de los “I” aislados que no se puedan simplificar. Ejemplos: Simplificar f, = °(1,3,4,5) f= CB +Ta Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 9 Podemos ver que hemos sefialado las zonas, filas 0 columnas, donde cada una de las variables valen “ Simplificar_f, = 5 (1,4,6,7) f; = CBA+CA+CB che ee Simplificar f, = ¥(0,2,3,4,5,6,7) 5 h-B+K+ec Simplificar f, ¥ (.2,3,4,5,7) fy = A+BT+CB B Simplificar f, = >} (0,2,4,6) . a “4 eC] fs Simplificar f, = } (0,2,3,4,5,7) BA eee Daa eC Dow A f= CB+AB+ RT f= CB+AC+AB ‘Como vemos, dos expresiones minimas no son tinicas. Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 10 Simplificar f, = ) (0,2,3,4,6,7,8,12,13) — yaBA___ 7 a Wo f= BD+AB+DCB Ca D 7 WW) A Simplificar_f, =)’ (0,1, 2,3, 4,6,8, 9,10, 11,12, 14) 7 D B yirti la fe R+t -EC zy u 1 1 D uy) A Simplificar f, = )° (0,2, 4,5,6,7,8,10,13,15) pea, B De A B L i 1 1 L by D T A- KRT+act+cD f- KRU+ac+DR Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 11 Simplificacién con maxitérminos La simplificacién con maxitérminos tiene dos formas de implementarse, segtin como se ordenen los maxitérminos en la tabla, Adoptaremos un criterio, mencionaremos el otro, seguido en algunos textos. El convenio de numeracién de maxitérminos, ya visto, es el siguiente: cha f Laconstrucciénde lastablas es m, [ooo|o] m, oorf1] Me 7 Xo Sofa ufo ame EOE I o] MoM, o [My] M, [m, | M, m fort) 1] M = 1) M2] M3 1 |My} M.|M, |My m, {100/1] My = ms [1o1/o] Mz me {110/0] Mi pe Ee my [tit] 1] Me Tbciasa co | Mo | Mi [M3 | Mz 3CH2% 57) ay [ ag Ms My |My ua [Miz]Mis|[Mis|Mas} Si partimos, para la construccién de la tabla de la tabla de verdad de Ia funcién, tenemos que 10 | Mg | Mo [My] Mo} tener en cuenta que los indices de los maxitér minos estén situados en orden inverso, respecto a los minitérminos, Si en cambio partimos de la expre- sion numérica de los maxitérminos, no hay diferencia alguna. El algoritmo de simplificacién, con maxitérminos, es el siguiente: A Dada una funcién en forma canénica, o mediante la tabla de verdad, mareamos con un las casillas en que las que el correspondiente maxitérmino vale “0”. Identificamos y sefialamos grupos de 16, 8,4,02 “0” adyacentes, lo mayor posibles, aun- que algiin “O” ya pertenezca a otro grupo. Un “0” puede pertenecer a mis de un grupo. Cada grupo dari lugar a una suma en que solo figuran las variables comunes a dicho gru- po. Un grupo de 2 “ceros” simplificaré la variable que aparezca en forma normal y negada. Un grupo de 4 “ceros” simplificard dos variables, y uno de 8, eliminaré 3 variables. La funeién seri el producto de las expresiones de cada grupo, més la de los “0” aislados que no se puedan simplifiear. TBA ee A ud fa Vemos, asimismo, que la tabla construida para la expresién con 1 1 minitérminoses distinta f= Gta) (CHA) GBA) Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 12 Ejemplos: Simplifiear; f, = TT, (0,1,4) f,= (B+A)-€+A) Simplificar f; , definida por la tabla siguiente, como producto de maxitérminos. eba B A BE ooo . mat (B+A)-T Ke] 0 |/\ > fe 0 1 O10}. c|| 0 ncaa Fz = TH, (0,1,2,3,4,8,9, 11, 12) ae 0 0 0 0 100 101 110 iia Simplificar por maxitérminos, y minitérminos 2 = Ts (0, 1, 2,3, 4,8, 9, 11, 12) A= Th, (0, 1, 2, 3,4, 8,9, 11, 12) faltan (5, 6, 7, 10, 13,14, 15) fy = Big (10,9,8,5,2,1,0) = 2g O.1,2,5,8,9,10) Dosa B Depa, B Ho | oJ[ 0} 1 1 0 1 Ic uJ Ic 0 D D Joyo ( ) Vi {¢ A A (B+K)-@+E)(A+0) fy= TB 4+TA+ ABD Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 13 Paso de formas no canonicas a canénicas Para la obtencién de las formas candnicas, basta aplicar repetidamente las propiedades’ eae a ata=a Por ejemplo: Escribir en forma canénica, con minitérminos flab) =a(b’ +c") +c oS flabc) = a(b'+c') +e = ab’+ag’+e = ab'c + abc" + ac’b + ac'b' + ca + ca gel eee bdeawn ne aS = ab’e + ab’e’ + ac’b + ac'h’ + Gab +cab’ + Eawh + ead = ordenado las variables = ch’a + c’b’a + c’ba + c'b'a + cha + cha + cha’ + cba’ identificando losmi 7 = mS + ml + m3 + YL + m7 + + m6 + md = 5+ m+ m3 + m7+ m6 + md = mi +m3+ m4+ m5+m6+m7 = DW (1,3,4,5,6,7) Funciones légicas con formas incompletas En muchos problemas algunas combinaciones de variables, no pueden darse, por impo: © bien no deseamos tenerlas en cuenta, en aras a conseguir una solucién mas simple. ilidad Kigica, Supongamos un depdsito de agua al que hemos instalado una serie de sensores de nivel a distintas altu- ras, con el objeto de conocer el nivel que aleanza el liquido. No puede darse nunca la combinacién C= J, B= J, A = 0 que supondria que hay agua arriba y no la hay en el fondo, A estas combinaciones se les llama combinaciones prohibidas. Cuando se ha de realizar una funcién Igica con estas variables, a los estados prohibidos se adjudi- ca la salida x, indeterminada. Si analizamos todas las situaciones posibles en este problema conereto, nos en- contraremos que las situuaciones deseritas por los minitérminos m2, m4, m5 y m6, no son posibles. La nomenclatura para las salidas indeterminadas, es la siguiente: f= 3 01,3,4,5,6) +X 27) fy- TH (0,1, 3,4) + Ty (2,7) En que los minitérminos 0 maxitérminos de las salidas indeterminadas se agrupan en otro término con subindice 0. En la simplificacién, se adjudicara a cada uno de los términos indefinidos el valor “0” 0 “1” , segiin nos convenga para alcanzar la maxima simplificacién Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 14 Simplificar f, - 213 (1,4) +g ©.2,6,7) Vemos que unos térmi- nos indefinidos han sustituidos por “0”, y otros por “1” Igual se procede para la simplificacién con maxitérminos, por ejemplo: Simplificar por maxitérminos la funcién f= 4 (3,6, 10,14) + D0 (2,8, 11,12) La funcién ser “0” en los términos que no figuren en ninguno de los anteriores sumatori (0,1,4,5, 7,9, 13, 15) La forma numérica, complementando a 15 los indices anteriores y los de los términos indiferentes serd: f= T1460, 2, 6,8, 10, 11, 14, 15) + T10¢3, 4, 7,13) A A donde puede verse que los términos indiferentes dentro de los re- 0 0 cuadros se han considerado como “0”, y el que queda fuera, como. x x {lo ie Ic x|jo|o Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 15 Implementacién de funciones con puertas légicas Existen dispositivos electrénicos, hidréulicos, eléctricos (conmutadores y relés) ¢ incluso dpticos, que permiten implementar directamente las funciones ldgicas estudiadas. Sin embargo ninguna tecnologia puede rivalizar en economia y complejidad con la eleetrinica, que es el objeto de nuestra asignatura, én de funciones con puertas légicas tiene como objetivo la realizacién de las fun- ircuitos electrénicos. Asi, Ia implement ciones l6gicas con El estado alto “H” 0 “1” légico se asimila a una tensién de salida, y el estado bajo “L” 0 “0” légico se asimila a otra tensién de salida més baja que la anterior. Las tensiones coneretas elegidas depende de cada tecnologia. Para implementar una funcién légica cualquiera basta con considerar la funcién desde la salida hasta las entradas, usando en principio cualquier tipo de puerta, o sea, justamente las que expresa la ecua- cién, xX @ XY XY AND = x-Y 0 0 0 1 Y NAND 0 1 0 z 1 0 0 1 HY [ie] ae | Ho Y xX oY oxy MY a X+¥ oR co ,ofe]. y efa[ato NOR 1 0 1 0 ~ X+Y & 1 1 0 Negacién x x D [> 1 x XY xy x ra a XOR 0 0 0 1 (OR exelusivay 0 1 1 0 x XNOR rio}rye xy — riifofi “dH Donde X ® Y = X- ¥ +X: ¥" como puede deducirse de la tabla Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 16 La gran simetria de la funcién que describe esta ultima puerta induce a confusién si tratamos de me- morizar la funcién XOR y la forma negada XNOR. Fijese que la funcion XOR representa la operacién de suma. De hecho apareceré cuando estudiemos los circuitos sumadores Los simbolos de las puertas logicas estin normalizados. Existen asimismo simbolos para puertas con mis de dos entradas: paDasesaear? oo abed XGVIZ = atbte a e Implementar la funcién y = (ab + ed) +2 Comenzamos por implementar un producto, el de @ y la expresién entre paréntesis (1) a continuacién implementamos la suma expresada en el paréntesis, y obtenemos ¢ a partir dee (2) finalmente implementamos los dos productos indicados ab y cd (3) @) Q) wo SO _, O -—_. 3 “ b L/ Lo ad e ey Esta implementacién es correcta desde el punto de vista formal, pero es muy poco practica. Tenga en cuenta que exige la utilizacién de 3 tipos de puertas distintas, AND Inversores y OR. Si consideramos que un circuito integrado incorpora 4 puertas AND, 4 puertas OR o bien 6 inversores, vemos que el Circuito necesita 3 integrados distintos, en los cuales dejamos varias puertas sin utilizar. Vedmosto con un ejemplo: =|} Existen varios criterios de optimizacién de un disefto, uno de los cuales es el anterior, como: ‘* Minimo numero de cireuitos integrados, dentro de una tecnologia * Um iinico tipo de puertas ligicas ‘© Minimo nimero de etapas, lo que implica maxima velocidad Asi, el circuito anterior debe ser convertido en otto equivalente, que cumpla el criterio pedido. Para ello se utilizan extensivamente las propiedades del algebra de Boole. Si queremos usar el minimo numero de integrados, sabiendo que un integrado incorpora 4 puertas de 2 entradas, por ejemplo, aplicamos Morgan a la OR Morgan: Negamos todas las entradas, cambiamos el tipo de funcién, y negamos la salida Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 17 Los inversores que habria que introducir a las entradas se colocan a las salidas de las puertas preceden- tes, que pasan de ser NAND. El inversor se implementa con una puerta NAND, con lo que el circuito pasaria a usar las 4 NAND que incorpora un circuito integrado, més una puerta AND. Morgan D=D- Gy —-[>»— i op Pp Es frecuente tener que utilizar menos entradas de las disponibles en una puerta légica. Para que una determinada entrada no tenga influencia se puede conectar a “0” o a1”, segtin el tipo de puerta lbgica, 0 conectarse a otra de las entradas: Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 18 Ejemplo: Implementar con NAND3 Ia funcién f= 4 (2,3, 5,7, 13, 15) peBa B 0 A a Gh a be 4p Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 19 Funciones multiples Hasta ahora hemos visto funciones légicas, en que una salida es funcién de varias entradas. En la prac- tica es frecuente intentar obtener més informacién de estas variables de entrada. Es normal definir, por tanto varias funciones de salida, que dependen de las mismas entradas, Formalmente son funciones maltiples, definidas como una aplicacién de varias entradas, a mas de una salida, En la practica basta con simplificar e implementar por separado cada una de las salidas. ‘Veamos un ejemplo: Problem Un club de ultraligeros quiere tener una indicacién de la direc- cidn del viento respecto de la direccién de la pista. Construyen tuna veleta electrénica con un sensor éptico, dividiendo un semicirculo en 16 sectores que codifican en Gray con 4 bits. Quieren encender una luz. verde cuando la direccién del viento esti en los dos sectores centrales, ambar cuando esté en los 6 sectores centrales ( y no esté verde) y rojo en los restantes. Disefiar el circuito para las salidas Rojo y Ambar. Aiadir la salida Rojo, en funcidn de las anteriores, para obtener el circuito lo mis simple posible. El valor de todos los rectingulos que se enfrentan a los sensores Opticos se representa en la tabla siguiente, asi como el valor de las dos funciones definidas Verde y Amarillo, Hay que notar que las variables no han sido ordenadas en codigo binario, sino en codigo GRAY. Es decir los minitérminos jestin desordenados!. En otras palabras, esta tabla no es la tabla de verdad. Sin embargo si identificamos todos los minitérminos, y los escribimos en la columna de la derecha, podemos escri- bir la forma numérica de las ecuaciones: Ve=D4(4,12) Am=L4(5,7, 13, 15) Desa, B Depa B Versions Curso 2008-04 Tesnologia de CompuladaresCapitulo 2 Algebra de Boole Pagina 20 Problemas resueltos Problema 1 Escribir y simplifiear una funcién logica que nos exprese el siguiente razonamiento, adjudicando simbolos @ las variable légicas: Voy al trabajo, tanto si llueve, como si no Solucie Variables légicas: y= Voy al trabajo a=llueve El razonamiento, usando las variables ligicas ser Voy al trabajo = si llueve y sino (llueve) y=a+a=1 Problema 2 Escribir una funcién légica que nos exprese el siguiente razonamiento, adjudicando simbolos a las variable logicas: Apruebo Tecnologia de Computadores si Apruebo en Junio 0 si apruebo en Septiembre Aplicar Morgan a 1a ecuacién resultante. Aplicar a las variables negadas un nuevo nombre, coherente con el significado opuesto, y componer la frase resultante. Comprobar que la frase es correcta, Solucién: Variables légicas: a = Apruebo Tecnologia de Computadores J = Apruebo en Junio 3 = Apruebo en Septiembre a=jts Morgan js Suspendo Tecnologia de Computadores Suspendo en Junio a 7 Suspendo en Septiembre El razonamiento, usando las nuevas variables logicas seria: Suspendo Tecnologia de Computadores. si Suspendo en Junio y Suspendo en Septiembre Versions Curso 2008-04 Tesnologia de Compuladares