Fundamentos de los Computadores. lgebra de Boole.

3. LGEBRA DE BOOLE
Un sistema de elementos B y dos operaciones binarias cerradas ( ) y (+) se denomina ALGEBRA de BOOLE siempre y cuando se cumplan las siguientes propiedades: 1.- Propiedad conmutativa: A+B=B+A A B=B A 2. Propiedad distributiva: A (B+C) = A B + A C A + B C = (A+B) (A+C) 3. Elementos neutros diferentes A+0=A A 1=A 4. Siempre existe el complemento de A, denominado A A + A = 1 A A = 0 PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin mas que intercambiar (+) por ( ) y 1 por 0. CONSTANTE: cualquier elemento del conjunto B VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o frmula completa. TEOREMAS: Teorema 1: el elemento complemento A es nico. Teorema de los elementos nulos: para cada elemento de B se verifica: A+1 = 1 A 0 = 0 Teorema 3: cada elemento identidad es el complemento del otro. 0=1 1=0

Fundamentos de los Computadores. lgebra de Boole.

Teorema de idempotencia: para cada elemento de B, se verifica: A+A=A A A=A Teorema de involucin: para cada elemento de B, se verifica: (A) = A Teorema de absorcin: para cada par de elementos de B, se verifica: A+A B=A A (A+B)=A Teorema 7: para cada par de elementos de B, se verifica: A + A B = A + B A (A + B) = A B LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = A B (A B) = A + B Teorema de asociatividad: cada uno de los operadores binarios (+) y ( ) cumple la propiedad asociativa: A+(B+C) = (A+B)+C A (B C) = (A B) C LGEBRA DE CONMUTACIN UN LGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y LOS OPERADORES DEFINIDOS DE LA SIGUIENTE FORMA A 0 0 1 1 B 0 1 0 1 A+B 0 1 1 1 A B 0 0 0 1 A 0 1 A 1 0

OPERADOR + OPERADOR OR OPERADOR OPERADOR AND OPERADOR OPERADOR NOT

Fundamentos de los Computadores. lgebra de Boole.

FUNCIONES EN EL LGEBRA DE BOOLE Funcin completa es una funcin que se encuentra definida para todas las combinaciones de las variables de entrada. Tabla de VERDAD: forma de representacin de funciones, dando el valor de la funcin para cada combinacin de entrada. X1 0 0 0 0 1 1 1 1 X2 0 0 1 1 0 0 1 1 X3 0 1 0 1 0 1 0 1 F(X1, X2, X3) F(0,0,0) F(0,0,1) F(0,1,0) F(0,1,1) F(1,0,0) F(1,0,1) F(1,1,0) F(1,1,1)

Frmulas de conmutacin: expresin de una funcin 1 y 0 son frmulas Xi es una frmula si pertenece a {0,1} Si A es una frmula, A tambin lo es Si A y B son frmulas, A+B y A B tambin lo son Nada ms es una frmula, a menos que sigan los puntos anteriores un nmero finito de pasos. Cada frmula describe una nica funcin. Dos frmulas son equivalentes (A=B) si expresan la misma funcin de conmutacin. Un LITERAL es una variable A o complemento de una variable A Un TRMINO PRODUCTO es una operacin AND de un nmero de literales. Una frmula normal disyuntiva es una suma de trminos productos. Un TRMINO SUMA es una operacin OR de un nmero de literales. Una frmula normal conjuntiva es un producto de trminos sumas.

Fundamentos de los Computadores. lgebra de Boole.

EXPRTESIN EN SUMA DE PRODUCTOS MINTRMINO (mi): trmino producto en el que aparecen todas las variables, ya sean complementadas o sin complementar. Frmula Cannica Disyuntiva o de Mintrminos: suma de mintrminos. Dada la lista completa de mintrminos y asignando 1s y 0s arbitrariamente a las variables, siempre hay un, y slo un, mintrmino que toma el valor 1. Un mintrmino es un trmino producto que es 1 exactamente en una lnea de la tabla de Verdad. La frmula compuesta por todos los mintrminos ser idnticamente 1. Cada frmula de conmutacin puede expresarse como suma de mintrminos. Y esa frmula es nica. NOTACIN: Un mintrmino se designa por mi siendo i el nmero decimal correspondiente de la tabla de verdad. El 0 se asocia a la variable complementada y el 1 a la variable sin complementar. EJEMPLO: 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(X,Y,Z) 1 0 1 1 0 0 0 1

F(X,Y,Z) = X Y Z + X Y Z + X Y Z + X Y Z F(X,Y,Z) = m0 + m2 + m3 +m7 = m(0,2,3,7)

Fundamentos de los Computadores. lgebra de Boole.

EXPRESIN EN PRODUCTO DE SUMAS MAXTRMINO (Mi): trmino suma en el que aparecen todas las variables, ya sean complementadas o sin complementar. Frmula Cannica Conjuntiva o de Maxtrminos: producto de maxtrminos. Dada la lista completa de maxtrminos y asignando 1s y 0s arbitrariamente a las variables, siempre hay un y slo un maxtrmino que toma el valor 0. Un maxtrmino es un trmino suma que es 0 exactamente en una lnea de la tabla de verdad. La frmula compuesta por todos los maxtrminos ser idnticamente 0. Cada frmula puede expresarse como producto de maxtrminos. Y es nica. NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero decimal correspondiente de la tabla de verdad. El 1 se asocia a la variable complementada y el 0 a la variable sin complementar. EJEMPLO: 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(X,Y,Z) 1 0 1 1 0 0 0 1

F(X,Y,Z) = (X+Y+Z) (X+Y+Z) (X+Y+Z) (X+Y+Z) F(X,Y,Z) = M1 M4 M5 M6 = M(1,4,5,6)

Fundamentos de los Computadores. lgebra de Boole.

CONVERSIN Y MANIPULACIN DE FRMULAS El complemento de una frmula de mintrminos est formado por la suma de los mintrminos que no aparecen. El complemento de una frmula de maxtrminos est formado por el producto de los maxtrminos que no aparecen. mi = Mi Mi = mi La transformacin de una frmula de mintrminos (disyuntiva) en otra de maxtrminos (conjuntiva) se basa en la doble complementacin, (F) = F *** Funciones incompletas: funciones que no estn definidas para todas las combinaciones de las variables de entrada. En la tabla de verdad aparecer un o una letra d (del ingls dont care) refirindose a trminos inespecificacin o trminos no importa. 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(X,Y,Z) 1 0 1 0 0 1

F(X,Y,Z) = m(0,2,7) + (3,5) F(X,Y,Z) = M(1,4,6) (3,5) Complemento de una funcin incompleta: otra funcin incompleta con la misma funcin inespecificacin y el complemento de la funcin completa. Las frmulas de mintrminos y de maxtrminos de las funciones incompletas no son nicas.

Fundamentos de los Computadores. lgebra de Boole.

FUNCIONES BSICAS

FUNCIN OR, PUERTA OR: Tabla de Verdad A B A+B 0 0 0 0 1 1 1 0 1 1 1 1 Smbolo A B F=A+B

FUNCIN AND, PUERTA AND: Tabla de Verdad A B A B 0 0 0 0 1 0 1 0 0 1 1 1 Smbolo A B F=A B

FUNCIN NOT, INVERSOR: Tabla de Verdad A A 0 1 1 0 Smbolo A F = A

Con estos tres tipos de puertas puede realizarse cualquier funcin de conmutacin. Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede implementar cualquier funcin lgica. Puerta AND, puerta OR e INVERSOR Puerta AND e INVERSOR Puerta OR e INVERSOR

Fundamentos de los Computadores. lgebra de Boole.

FUNCIN NOR, PUERTA NOR: Es tambin un conjunto completo Tabla de Verdad A B (A+B) 0 0 1 0 1 0 1 0 0 1 1 0 Smbolo A B F = (A + B) F = A B

FUNCIN NAND, PUERTA NAND: Es tambin un conjunto completo Tabla de Verdad A B (A B) 0 0 1 0 1 1 1 0 1 1 1 0 Smbolo A B F = (A B) F = A + B

FUNCIN XOR, PUERTA XOR: Es tambin un conjunto completo Tabla de Verdad A B (AB) 0 0 0 0 1 1 1 0 1 1 1 0 Smbolo A B F = (A B) F = AB + AB

FUNCIN XNOR, PUERTA XNOR: Es tambin un conjunto completo Tabla de Verdad A B (AB) 0 0 1 0 1 0 1 0 0 1 1 1 Smbolo A B F = (A B) F = AB + AB

Fundamentos de los Computadores. lgebra de Boole.

CIRCUITOS DIGITALES Y FUNCIONES DE CONMUTACIN Hay dos procesos en ingeniera: ANLISIS SNTESIS y DISEO El ANLISIS se debe hacer tanto en estado transitorio (cuando las seales estn cambiando) como en estado estacionario (cuando las seales estn ya establecidas). En este curso slo hablaremos de situaciones estacionarias. Tres pasos: 1. Etiquetado de los diferentes nodos del circuito 2. Salida = etiqueta del nodo de salida 3. Creacin de la tabla de Verdad, si se pide. a b c c a b + a b c a b

a b

a b c (a+b) = a b

El DISEO se realiza a partir del planteamiento de un problema. Se obtiene luego alguna de las frmulas cannicas y se procede a la simplificacin para obtener un circuito de mnimo tamao como se explicar en el prximo tema. Ejemplo: Para abrir una caja fuerte se dispone de tres llaves, la caja se abre si: Estn giradas A y B independientemente de si lo est C. Cuando estando girada C, estn giradas A o B.