Fundamentos de Computadores lgebra de Conmutacin

Objetivos

Conceptuales:

Conocer el lgebra de Boole y el lgebra de Conmutacin como caso especial de aquella Propiedades del lgebra de Boole Representacin de funciones de conmutacin en sus distintas formas Formas cannicas y formas normalizadas Representacin de funciones incompletamente especificadas. Conjuntos completos de operadores.

Objetivos

Procedimentales:

Representacin grfica del "circuito" de cualquier expresin, identificando los operadores como smbolos grficos. Obtencin de las formas estndares suma de productos y producto de sumas de cualquier funcin de conmutacin. Obtencin las formas cannicas de cualquier funcin de conmutacin. Simplificacin de expresiones utilizando propiedades algebraicas

Objetivos

Actitudinales:

Comprender la importancia de la base matemtica en el rea tecnolgica La abstraccin como mecanismo para resolver problemas complejos

Bibliografa

Bsica:

[GARC92] Captulo 4 [MANO98] Captulo 2 [NELS96] Captulo 2

Complementaria

[KOHA78] y [UNGER89] Tratamiento matemtico riguroso

Contenidos

lgebra de Boole lgebra de Conmutacin Funciones de conmutacin. Representacin Formas normalizadas Formas cannicas Funciones incompletamente especificadas Otras operaciones lgicas

lgebra de Boole Definicin axiomtica

El lgebra de Boole es un Sistema Matemtico consistente en un conjunto B de elementos con cardinalidad superior a dos y dos operaciones matemticas cerradas que denominaremos + y que cumple los siguientes postulados:

lgebra de Boole Definicin axiomtica

p1: Propiedad conmutativa: x,y B

(a) x+y= y+x (b) xy = yx (a) x(y+z) = xy + xz (b) x+(yz) = (x+y)(x+z)

p2: Propiedad distributiva: x,y,z B

lgebra de Boole Definicin axiomtica

p3: Postulado de los elementos de identidad: para xB

(a) existe un elemento de identidad con respecto al operador + es designado por el smbolo 0 y cumple:
x+0=0+x=x

(b) existe un elemento de identidad con respecto al operador es designado por el smbolo 1 y cumple:
x1=1x=x

p4: Axiomas del complemento: x B, x B que cumple:

(a) x+x = 1 (b) xx = 0

lgebra de Boole. Convenciones

Notacin del producto:

ab = ab

Precedencia: precede a +

(ab) + (cd) = ab + cd

lgebra de Boole: Propiedades

T0: Principio de dualidad: cada teorema deducible de los postulados de un lgebra booleana puede transformarse en un segundo teorema vlido sin ms que intercambiar las operaciones + y junto con los elementos identidad 0 y 1. T1: Teorema de idempotencia

(a) x + x = x (b) xx = x (a) x + 1 = 1 (b) x0 = 0 (x) = x

T2: Teorema de los elementos dominantes

T3: Ley involutiva

lgebra de Boole: Propiedades

T4: Teorema de absorcin

(a) x + xy = x (b) x(x+y) = x (a) x + (xy) = x+y (b) x(x+y) = xy (a) x+(y+z)= (x+y)+z (b) x(yz)=(xy) z (a) (x+y) = xy (b) (xy) = x + y

T5: Teorema del consenso

T6: Teorema asociativo

T7: Leyes de DeMorgan

lgebra de Conmutacin

Objetivo: establecer una relacin entre el lgebra de Boole y los circuitos de conmutacin. Tipo particular del lgebra de Boole: lgebra de Conmutacin. En este lgebra: B={0,1} El lgebra de Conmutacin cumple todos los postulados y propiedades del lgebra de Boole.
x 0 0 1 1 y 0 1 0 1 x+y (OR) xy (AND) 0 1 1 1 0 0 0 1 x 0 1 x'(NOT) 1 0

Funciones de conmutacin

Definicin: Una funcin de conmutacin es una aplicacin f: Bn B Cada elemento xBn es un conjunto de variables de B x=(x1, x2, , xn). A este conjunto de variables se le denomina n-tupla. Una funcin de conmutacin es completamente especificada cuando asigna un valor (0 o 1) a todos los posibles valores de sus variables. En otro caso, la funcin es incompletamente especificada.

Representacin de funciones de conmutacin

Existen varias formas de representar una funcin de conmutacin:

expresin tabla de verdad mapa circuito

n 2

Existen 2 funciones de conmutacin completamente especificadas de n variables.

Representacin de funciones de conmutacin

Ejemplo: f(x,y,z) = xy + xz + yz
xy
xyz 000 001 010 011 100 101 110 111 f(x,y,z) 0 0 0 1 0 1 1 1

00

01 0 1

11 1 1

10 0 1

0 0 1 0

f
x y z & & & 1

Formas normalizadas

Las formas normalizadas son la suma de productos y el producto de sumas. Estas formas siempre pueden obtenerse mediante la aplicacin de la ley de DeMorgan en el caso de que hubiera trminos complementados y del postulado correspondiente a la propiedad distributiva. Los trminos producto siempre determinan los unos de la funcin y los trminos suma los ceros. Ejemplos:

f = x(y+z) g = (abc+bad+(a+b+c)+de)

Forma cannica disyuntiva o de mintrminos

Mintrmino: trmino producto en el que cada variable aparece una vez y slo una, bien complementada o sin complementar. La forma cannica disyuntiva o de mintrminos es una suma compuesta slo de mintrminos. Existen 2n mintrminos de n variables. Teorema: Dada una lista completa de los mintrminos de n variables, si a cada una de las n variables se le asigna el valor 0 o 1, entonces slo un mintrmino de la lista tomar el valor 1 y los otros el valor 0.

Forma cannica disyuntiva o de mintrminos

Ejemplo: para 3 variables hay 8 mintrminos que son:

x'y'z, 'x'y'z, x'yz', x'yz, xy'z', xy'z, xyz', xyz

Para xyz=110, slo el mintrmino xyz' toma valor 1, el resto toma el valor 0. Una funcin puesta como forma cannica disyuntiva sera:

g(x,y,z)= x'y'z'+x'yz'+xyz

Forma cannica disyuntiva o de mintrminos

Teorema: La frmula de conmutacin de n variables formada sumando los 2n mintrminos describe una funcin idnticamente 1. Teorema: Cada funcin de conmutacin completamente especificada puede expresarse en forma cannica de mintrminos. Teorema: La forma cannica de mintrminos de una funcin de conmutacin completa es nica.

Forma cannica disyuntiva o de mintrminos

Notacin m: Cada mintrmino se representa de la forma mX donde X es un nmero asociado a cada mintrmino de forma que:

Se establece un orden entre las variables. Ej. (x1,x2,x3) Se asocia un 0 a cada variable complementada Se asocia un 1 a cada variable sin complementar X se obtiene de interpretar en base 2 el cdigo obtenido. Ej: x1x2x3 -> 010 -> 3 -> m3 f(x1,x2,x3) = x1x2x3+x1x2x3+x1x2x3+x1x2x3 f(x1,x2,x3) = m0 + m2 + m3 + m7 = m(0,2,3,7)

Ejemplo:

Forma cannica disyuntiva o de mintrminos

Teorema: Primer teorema de expansin. Para toda funcin de conmutacin completamente especificada se tiene que:

f(x1,,xi,...,xn) = xif(x1,,1,...,xn)+xif(x1,,0,...,xn) Permite obtener la forma cannica de mintrminos por uso repetido.

Teorema: Toda funcin de conmutacin completamente especificada puede escribirse como:

f x 1 ,x 2 , . . . ,x n = f i mi x 1 ,x 2 , . . . ,x n
i= 0 2n 1

Forma disyuntiva o de mintrminos. Ejemplo

Aplicacin del primer teorema de expansin a funciones de tres variables

f(x,y,z)=x'f(0,y,z)+xf(1,y,z)

Aplicamos de nuevo a la variable y:

f(x,y,z)=x'(y'f(0,0,z)+yf(0,1,z))+x(y'f(1,0,z)+yf(1,1,z))= =x'y'f(0,0,z)+x'yf(0,1,z)+xy'f(1,0,z)+xyf(1,1,z)

Aplicamos a la variable z:
f(x,y,z)=x'y'z'f(0,0,0)+x'y'zf(0,0,1)+x'yz'f(0,1,0)++x'yzf(0,1,1) +xy'z'f(1,0,0)+xy'zf(1,0,1)+xyz'f(1,1,0)+xyzf(1,1,1)

Los mintrminos que aparecen en la forma cannica de la funcin identifican los casos en que sta vale 1 Ejemplo: obtener los mintrminos de f=xy+xz+yz

Forma cannica conjuntiva o de maxtrminos

Maxtrmino: trmino suma en el que cada variable aparece una vez y slo una, bien complementada o sin complementar. La forma cannica conjuntiva o de maxtrminos es un producto compuesta slo de maxtrminos. Existen 2n maxtrminos de n variables. Teorema: Dada una lista completa de los maxtrminos de n variables, si a cada una de las n variables se le asigna el valor 0 o 1, entonces slo un maxtrmino de la lista tomar el valor 0 y los otros el 1.

Forma cannica conjuntiva o de maxtrminos

Ejemplo: para 3 variables hay 8 maxtrminos que son:

x'+y+'z, 'x+'y+'z, x'+y+z', x'+y+z, x+y'+z', x+y'+z, x+y+z', x+y+z

Para xyz=110, slo el mintrmino x'+y'+z toma valor 0, el resto toma el valor 1. Una funcin puesta como forma cannica conjuntiva sera:

h(x,y,z) = (x'+y'+z')(x+y+z')(x+y+z)

Forma cannica conjuntiva o de maxtrminos

Teorema: La frmula de conmutacin de n variables formada multiplicando los 2n maxtrminos describe una funcin idnticamente 0. Teorema: Cada funcin de conmutacin completamente especificada puede expresarse en forma cannica de maxtrminos. Teorema: La forma cannica de maxtrminos de una funcin de conmutacin completamente especificada es nica.

Forma cannica conjuntiva o de maxtrminos

Notacin M: Cada maxtrmino se representa de la forma MX donde X es un nmero asociado a cada maxtrmino de forma que:

Se establece un orden entre las variables. Ej. (x1,x2,x3) Se asocia un 0 a cada variable sin complementar Se asocia un 1 a cada variable complementada X se obtiene de interpretar en base 2 el cdigo obtenido. Ej: x1x2x3 -> 100 -> 4 -> M4
f(x1,x2,x3) = (x1+x2+x3)(x1+x2+x3)(x1+x2+x3)(x1+x2+x3)

Ejemplo:

f(x1,x2,x3) = M7M5M4M0 = (0,4,5,7)

Forma cannica conjuntiva o de maxtrminos

Teorema: Segundo teorema de expansin. Para toda funcin de conmutacin completamente especificada se tiene que:
f(x1,,xi,...,xn) = [xi+f(x1,,0,...,xn)][xi+f(x1,,1,...,xn)]

Permite obtener la forma cannica de maxtrminos por uso repetido.

Teorema: Toda funcin de conmutacin completamente especificada puede escribirse como: f x 1 ,x 2 , . . . ,x n = [ f i +M i x 1 ,x 2 , . . . ,x n ]

i= 0 2n 1

Formas cannicas Transformaciones entre formas cannicas

Teorema: El complemento de una funcin de conmutacin completamente especificada puede obtenerse uniendo los mintrminos no contenidos en la funcin original mediante operadores OR. Teorema: El complemento de una funcin de conmutacin completamente especificada puede obtenerse uniendo los maxtrminos no contenidos en la funcin original mediante operadores AND. Teorema: mi=Mi y Mi=mi donde i es el subndice decimal.

Funciones incompletamente especificadas

Se denomina inespecificacin a cada valor de las variables de una funcin para el que no est definido el valor de la funcin. Las inespecificaciones aparecen con frecuencia en aplicaciones reales. A menudo corresponden a valores que no tienen inters prctico (don't care). Representacin de inespecificaciones:

En mapa o tabla: mediante un smbolo especial como d, x, -, En formas cannicas: mediante suma o producto de funcin con min(max)trminos inespecificados. Ej: f(x,y,z) = m(0,2,3,7)+d(5,6) = (1,4)d(5,6)

Otras operaciones lgicas

NAND: AND complementada NOR: OR complementada XOR: OR exclusiva

xy = xy' + x'y xy = (xy)' = (x'+y)(x+y') = xy + x'y'

x 0 0 1 1 y 0 1 0 1 NAND (xy)' 1 1 1 0 NOR (x+y)' 1 0 0 0 XOR xy 0 1 1 0 NXOR xy 1 0 0 1

NXOR: OR exclusiva complementada

Otras operaciones lgicas. Propiedades XOR y NXOR

Propiedad conmutativa:

x y = y x x y = y x (xy)z = x(yz) = xyz (xy)z = x(yz) = xyz x1...xn = (x1...xn)' si n par x1...xn = x1...xn si n impar

Propiedad asociativa:

Relacin entre XOR y NXOR

Primitivas lgicas. Conjuntos completos

Un conjunto de operadores, como por ejemplo {AND,OR,NOT} constituye un conjunto completo cuando, con dichos operadores, se puede implementar cualquier funcin de conmutacin. Cuando en una funcin de conmutacin se dispone slo de sus variables sin complementar o slo de sus variables complementadas se dice que dichas variables estn en ral simple. Si se dispone tanto de las variables sin complementar como complementadas, se dice que estn en doble ral. El conjunto de operadores formado por {AND,OR} forma un conjunto completo si se dispone de variables en doble rail. Existen otros ejemplos de grupos completos como: {AND,NOT}, {OR,NOT}, {NAND}, {NOR}

Primitivas lgicas. Conjuntos completos

Demostracin de que {AND,NOT} forma un conjunto completo.

Basta con construir el operador OR a partir de AND y NOT x+y = (x'y')' OR(x,y) = NOT(AND(NOT(x), NOT(y)))

&

Primitivas lgicas. Conjuntos completos

Demostracin de que {OR,NOT} forma un conjunto completo

Basta con construir el operador AND a partir de OR y NOT xy = (x'+y')' AND(x,y) = NOT(OR(NOT(x), NOT(y)))

x y >1

Primitivas lgicas. Conjuntos completos

Demostracin de que {NAND} forma un conjunto completo

Basta con construir los operadores NOT y AND a partir de NAND x' = (xx)'; NOT(x) = NAND(x,x) xy = ((xy)')'; AND(x,y) = NOT(NAND(x,y))

&
NOT

x z=x' y

&

&
xy AND