Capitulo 2 ALGEBRA DE BOOLE Y PUERTAS LOGICAS En este capitulo plantearemos el disefio clectrénico digital, como una aplicacién de las funciones légicas, Las funciones Iégicas son funciones ‘matemiticas al estilo conocido, pero cuyas variables son variables ldgicas, es decir variables que sélo tienen dos estados, cierto 0 falso. Por supuesto el resultado de las funciones logicas s6lo puede ser Verdadero 0 Falso. Definiremos dos operaciones bisicas OR y AND que nos recordarin en cierto sentido a la suma y al producto de la Aritmética conocida. Veremos la gran imetria y dualidad de estas dos operaciones, que no tiene correspondencia con la Aritmética. Por ultimo aplicaremos estos resultados a la implementacién directa de circuitos légicos digitales que podremos ver funcionar en el laboratorio. 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, (Iégica, o binaria) si tnicamente toma los valores cero y uno.40_ ELECTRONICA DIGITAL ENLA P RAMA 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 decir que la Teoria esta aprobada, y AprobarTeoria = 0 que no esta aprobada. Nuestra funcién quedaria: AprobarCurso = AprobarTeoria - AprobarLaboratorio Si la proposicién fuese: Apruebo el curso, si apruebo en Junio, 0 en Septiembre La funcién seria: AprobarCurso = AprobarJunio + AprobarSeptiembre Definiendo dos nuevas variables AprobarJunio y AprobarSeptiembre Fijese como la conjuncién ‘equivale al operador “+”. )” usada en nuestro lenguaje (OR en ingles) Igualmente la conjuncién “y” (AND en ingles) equivale al operador *-". 2.2.2 Representacién en forma candénica de una funcién: booleriana Una funcién booleriana puede representarse por cualquier expresién entre variables binarias. De cara a utilizar una metodologia es muy itil establecer unas formas normalizadas, llamadas 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 el producto de todas las variables, que hacen que la funcién sea cierta. Si una variable toma el valor 0 formard el producto con la variable negada, o sin negar en caso contrario.RAMA CAPITULO 2. ALGEBRA DE BOOLE Y PUERTAS LOGICAS” 41 Un maxitérmino es una expresién constituida por la suma de todas las variables, que hacen que la funcién sea falsa. Si una variable toma el valor 1 formaré la suma con la variable negada, o sin negar en caso contrario. ‘Teorema: toda funcién logica puede expresarse por medio de sus dos formas canénicas: minitérminos y maxitérminos. 2.2.2.1 FORMA CANONICA CON MINITERMINOS Una funeién logica, en forma canénica con minitérminos, esté constituida por las sumas de todos los minitérminos que hacen que la funcién sea cierta. Si escribimos: y=m, +m, +m, Estamos diciendo que Ia 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 cuando Ia funcién es uno, Por ejemplo para tres variables: BRIG a+cbatcbha=m,+m,+m, tenemos que la funcién es cierta para tres conjuntos de valores de las variables, m3, ‘ms, ¥- me Que sea cierta para m>, por ejemplo, significa que y=1 si. (©=0) AND (b=1) AND (@=0) Lo mismo podiamos decir de ms y me 2.2.2.2 FORMA CANONICA CON MAXITERMINOS Una funcién Idgica, en forma candnica con maxitérminos, esté constituida por los productos de todos los maxitérminos que hacen que la funcién sea falsa. Si escribimos: y=M, MM,