TECNOLOGA DE COMPUTADORES.

CURSO 2007/08 Inocente Snchez Ciudad

TEMA 2: PUERTAS LGICAS Y LGEBRA DE CONMUTACIN.

2.1. Operaciones lgicas bsicas.
Las operaciones bsicas se definen como suma lgica, o bien operacin "OR", y se representar con el signo "+", y el producto lgico u operacin "AND", y se representar con el signo "". A veces, por comodidad, la omisin de signo significar producto lgico. Las operaciones OR y AND se efectuan entre dos o ms elementos. Tambin definiremos la operacin complementario, inverso o negado, que se aplica a un solo elemento. Estas operaciones, por definicin, son tales que: La suma lgica tomar el valor 1 cuando un elemento o bien otro (o todos) tome el valor 1. En caso contrario ser 0. El producto lgico tomar el valor 1 cuando un elemento y otro (y todos) tome el valor 1. En caso contrario ser 0. Es decir, en la suma lgica es suficiente con que un elemento sea 1 para que el resultado sea 1. Sin embargo, en el producto lgico, es necesario que todos los elementos sean 1 para que el resultado sea 1. El complementario, negado o inverso tomar el valor 1 cuando el elemento tome el valor 0, y tomar el valor 0 cuando el elemento tome el valor 1. Se trepresenta como x . La operacin X-OR tambin llamada OR-Exclusiva, se define entre dos valores de la siguiente forma: vale 0 si son iguales y vale 1 si son distintos. Su operador es . Tambin se pueden definir las operaciones complementario de la suma x + y (NOR) y complementario del producto
x y (NAND).

Una forma grfica de representar los valores de operar elementos con estas operaciones es la llamada tabla de verdad, que no es ms que una tabla en la que aparecen todos los casos posibles y sus resultados. Vamos a expresar los resultados de la suma y el producto lgico, as como otras operaciones ms, en forma de tabla de verdad:

x
0 0 1 1

y
0 1 0 1

x
1 1 0 0

y
1 0 1 0

x+ y
OR 0 1 1 1

x y
AND 0 0 0 1

x+ y
1 1 1 0

x y
1 0 0 0

x+ y
NOR 1 0 0 0

x y
NAND 1 1 1 0

x y x y
XOR 0 1 1 0 XNOR 1 0 0 1

Supongamos que el valor 0 lo asignamos a FALSO y el valor 1 a VERDADERO. Supongamos que decimos la frase x = "Esta carpeta es blanca", y la frase y = "Esta carpeta es de cartn". La frase x+y ser: "Esta carpeta es blanca o esta carpeta es de cartn". Para que esta expresin sea verdadera, es decir, x+y sea 1, basta con que sea cierta cualquiera de ellas por separado, o ambas. Aqu vemos la relacin de la conjuncin disyuntiva o con la operacin lgica OR. Sea la frase x = "Estamos en septiembre", y la frase y = "Estamos en Ciudad Real". La frase xy ser: "Estamos en octubre y estamos en Ciudad Real". Para que esta expresin sea verdadera, es decir, xy sea 1, es necesario que ambas sean ciertas. Si una de Tema 2: Puertas lgicas y lgebra de conmutacin 1

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad ellas, o ambas, no es cierta, el conjunto ser falso. Aqu vemos la relacin de la conjuncin copulativa y con la operacin lgica AND. Una representacin circuital de la funcin OR aparece en la Figura 1. Una representacin circuital de la funcin AND aparece en la Figura 2. En el primer caso la bombilla B se enciende si se cierra el interruptor I1 o el interruptor I2, que estn en paralelo. Es suficiente que un interruptor est cerrado para que luzca la bombilla. Interruptor 1

Pila

Interruptor 2

Bombilla

Fig. 1 En el segundo caso la bombilla se enciende si se cierra el interruptor I1 y el interruptor I2, que estn en serie. Es necesario que todos los interruptores estn cerrados para que luzca la bombilla. Interruptor 1 Interruptor 2

Pila

Bombilla

Fig. 2 Otra forma ms de verlo. La operacin OR como pertenecer a la unin de 2 conjuntos y la operacin AND como pertenecer a la interseccin de dos conjuntos.

2.2. Puertas lgicas bsicas.

Existen dispositivos tecnolgicos llamados PUERTAS LOGICAS que llevan a cabo las funciones lgicas. Pueden tener 2 mas entradas. Las puertas bsicas son:

OR NOR

AND NAND

INVERSOR XOR XNOR

Es fcil comprobar que:

x y = x y + x y x y = x y + x y

Tema 2: Puertas lgicas y lgebra de conmutacin 2

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

Estructura multinivel con puertas de dos entradas:

OR2 4 5

x y

INPUT VCC INPUT VCC

1 OR2

INPUT VCC

2 OR2

INPUT VCC

OUTPUT 7 3

x+y+z+w

Estructura de dos niveles con puertas de dos y tres entradas entradas (AND-OR):

Estructura de dos niveles con puertas de dos entradas entradas (OR-AND):

Ejemplo:
OR2 5 6 7 8 9 10

0 0 0 1 0 0

INPUT VCC INPUT VCC INPUT VCC INPUT VCC INPUT VCC INPUT VCC

2 OR2

AND3 OUTPUT 11

(0+0)(0+1)(0+0)=010=0

3 OR2

Tema 2: Puertas lgicas y lgebra de conmutacin 3

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

2.3. Algebra de Boole. Teoremas bsicos.

El Algebra de Boole constituye la base matemtica para el anlisis lgico de los circuitos bsicos que integran las mquinas digitales. El Algebra de Boole se dice que es bivalente o de conmutacin cuando B es un conjunto con dos elementos, que llamaremos "0" y "1". Las operaciones + y son la suma lgica y producto lgico, respectivamente. Un Algebra de Boole es un conjunto B, en el que se han definido dos operaciones que cumple los siguientes postulados:

+ y ,

1) B es cerrado: El resultado de operar dos elementos con cualquier operacin produce un elemento del conjunto B.

x, y B
2) Elemento identidad:

x+ yB

x yB
x 0 x 1 x y x y x 0 0 0 0 1 0 1 1 1 1

x B existe un elemento 0 tal que x + 0 = x x B existe un elemento 1 tal que x 1 = x

3) Propiedad conmutativa:

x 0 1 y x y x

x, y B se cumple x+ y = y+x x y = yx

x+y xy

y+x yx

4) Propiedad distributiva de una operacin respecto a otra:

x ( y + z ) = ( x y ) + ( x z ) o bien ( x y ) + ( x z ) = x ( y + z ) , sacando x factor comn x + ( y z ) = ( x + y ) ( x + z ) o bien ( x + y ) ( x + z ) = x + ( y z ) , sacando x factor comn

5) Existencia de elemento complementario.

x B , existe un elemento x llamado complementario que cumple que:

x + x =1

xx = 0

x x

x x

Como consecuencia de estos postulados se obtienen los siguientes teoremas: Teorema 1:

x +1 = 1 x0 = 0
Teorema 2:

x 1 x x

x 0 x x

x+ x= x xx = x

Tema 2: Puertas lgicas y lgebra de conmutacin 4

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

Teorema 3:

x=x
Teorema 4: Absorcin.

x+ x y = x x ( x + y) = x
Teorema 5: Propiedad asociativa.

x+ x y = x+ y x ( x + y ) = x y

x + ( y + z) = ( x + y) + z x ( y z ) = ( x y) z
Teorema 6: Leyes de De Morgan.

x+ y = x y x y = x + y

x y x y

x+ y x y

x y x y

x y x+ y

2.4. Expresiones de conmutacin. Formas cannicas.

Un smbolo x es una variable booleana si representa a cualquier elemento de un conjunto B sobre el que se ha definido un Algebra de Boole. Una funcin booleana o de conmutacin es una expresin algebraica de variables booleanas con las operaciones +, * y complemento. Ejemplo:

F ( x, y , z ) = x y + y z + x y z

La prioridad de los operadores, en caso de haber varios, es: parntesis, complementos, productos y sumas. Una funcin se puede representar mediante su expresin algebraica o mediante su tabla n de verdad. Si tenemos n variables booleanas, existen 2 permutaciones con repeticin posibles, para cada una de ellas la funcin tendr que tomar un valor de los 2 posibles: 0 1. Dos funciones n booleanas se dice que son equivalentes si tienen la misma tabla de verdad en los 2 casos posibles. Ejemplo:

F = x+ y SIMPLIFICACIN:

G = x y

F ( x1 , x2 ,.., x N ) > G ( x1 , x2 ,..., x N )

F y G equivalentes: misma tabla de verdad. G ms sencilla. Simplificacin algebraica. algebraicamente. Consiste en aplicar las propiedades del A. Boole y operar

F ( x , y , z ) = x y z + x y z + x y z + x y z + x y z + x y z = = x z ( y + y ) + x y ( z + z ) + y z ( x + x ) factor comn 1-2, 3-6, 4-5 = x z + x y + y z (Expresin mnima)

Tema 2: Puertas lgicas y lgebra de conmutacin 5

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

o bien

= x y ( z + z ) + y z ( x + x ) + x z ( y + y ) factor comn 1-4, 2-3, 5-6 = x y + y z + x z (Otra expresin mnima)

El hecho de encontrar una expresin mnima no significa que sea nica. Aqu tenemos un ejemplo. Desdoblando los trminos 2 y 5 y agrupando, queda:

F ( x , y , z ) = x y z + x y z + x y z + x y z + x y z + x y z + x y z + x y z =
= x z ( y + y ) + y z ( x + x ) + y z ( x + x ) + x z ( y + y ) =

= x z + y z + y z + x z (Expresin irreducible)
El hecho de encontrar una expresin irreducible no significa que sea mnima. Aqu tenemos un ejemplo. INCONVENIENTE: FELIZ IDEA Y ASTUCIA. POCO SISTEMTICO Formas cannicas. Trmino cannico: suma o producto en que aparecen todas las variables, ya sean en forma afirmada o en forma negada. Productos cannicos: minitrminos o minterms. Sumas cannicas: maxitrminos o maxterms. Funcin n variables: 2 maxitrminos y 2 minitrminos. Expresin de una funcin booleana en forma cannica: 1) Sumar los minitrminos que dan el valor 1 para la funcin. 2) Multiplicar los maxitrminos que dan a la funcin valor 0. La primera forma cannica consiste en expresar una funcin como suma de productos cannicos. La segunda forma cannica consiste en expresar una funcin como productos de sumas cannicas. Ejemplo: x y z lugar lugar lugar lugar lugar lugar lugar lugar 0 1 2 3 4 5 6 7 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 F 0 1 0 0 0 1 1 1
Si hay un 1 genera el minitrmino 0. Si hay un 0 genera el maxitrmino 0 Si hay un 1 genera el minitrmino 1. Si hay un 0 genera el maxitrmino 1 Si hay un 1 genera el minitrmino 2. Si hay un 0 genera el maxitrmino 2 Si hay un 1 genera el minitrmino 3. Si hay un 0 genera el maxitrmino 3 Si hay un 1 genera el minitrmino 4. Si hay un 0 genera el maxitrmino 4 Si hay un 1 genera el minitrmino 5. Si hay un 0 genera el maxitrmino 5 Si hay un 1 genera el minitrmino 6. Si hay un 0 genera el maxitrmino 6 Si hay un 1 genera el minitrmino 7. Si hay un 0 genera el maxitrmino 7
n n

Tema 2: Puertas lgicas y lgebra de conmutacin 6

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

Denominacin de los minitrminos y los maxitrminos:

Minterm 0: Minterm 1: Minterm 2: Minterm 3: Minterm 4: Minterm 5: Minterm 6: Minterm 7: Maxterm 0:

m0 = x y z
m1 = x y z m2 = x y z

porque si y slo si porque si u slo si porque si y slo si porque si y slo si porque si y slo si porque si y slo si porque si y slo si porque si y slo si

x = 0, y = 0, z = 0, x = 0 , y = 0 , z = 1, x = 0 , y = 1, z = 0 , x = 0 , y = 1, z = 1, x = 1, y = 0 , z = 0 , x = 1, y = 0 , z = 1 , x = 1, y = 1 , z = 0 , x = 1, y = 1 , z = 1 ,

entonces entonces entonces entonces entonces entonces entonces

m0 = 1

m1 = 1 m2 = 1
m3 = 1

m3 = x y z
m4 = x y z

m4 = 1
m5 = 1 m6 = 1 m7 = 1

m5 = x y z m6 = x y z m7 = x y z

entonces

M 0 = x + y + z porque si y slo si x = 0 , y = 0 , z = 0 , entonces M 0 = 0

Maxterm 1: M 1 = x + y + z porque si y slo si Maxterm 2: M 2 = x + y + z porque si y slo si Maxterm 3:

x = 0 , y = 0 , z = 1 , entonces M 1 = 0 x = 0 , y = 1 , z = 0 , entonces M 2 = 0 x = 0 , y = 1 , z = 1 , entonces M 3 = 0 x = 1 , y = 0 , z = 0 , entonces M 4 = 0

si

M3 = x + y + z
M5 = x + y + z
M6 = x + y + z

porque si y slo si

Maxterm 4: M 4 = x + y + z porque si y slo si Maxterm 5: porque si y

slo

x = 1, y = 0 , z = 1 , x = 1, y = 1 , z = 0 ,

entonces

M5 = 0
Maxterm 6: porque si y slo si entonces

M6 = 0
Maxterm 7: M 7 = x + y + z porque si y slo si

x = 1, y = 1 , z = 1 ,

entonces M 7 = 0

Para la tabla del ejemplo anterior, quedaran la suma de los minitrminos 1, 5, 6 y 7. Aunque tambin se podra expresar como el producto de los maxitrminos 0, 2, 3 y 4. Otra forma de verlo es la siguiente: Primera forma cannica: 1 2 3 4 caso caso caso caso en en en en que que que que la la la la

F(x, y, z) = x y z + x y z + x y z + x y z
vale vale vale vale 1: 1: 1: 1: x=0, x=1, x=1, x=1, y=0, y=0, y=1, y=1, z=1 z=1 z=0 z=1

funcin funcin funcin funcin

Segunda forma cannica: 1 2 3 4 caso caso caso caso en en en en que que que que la la la la

F(x, y, z) = (x + y + z) (x + y + z) (x + y + z) (x + y + z)
vale vale vale vale 0: 0: 0: 0: x=0, x=0, x=0, x=1, y=0, y=1, y=1, y=0, z=0 z=0 z=1 z=0

funcin funcin funcin funcin

Una forma compacta de representar una funcin es, para el ejemplo anterior:

F(x,y,z) = m1+m5+ m6+ m7 = 3 (1,5,6,7) F(x,y,z) = M0 M2 M3 M4 = 3 (0,2,3,4)

como suma de minitrminos. como producto de maxitrminos.

Tema 2: Puertas lgicas y lgebra de conmutacin 7

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

ANEXO: Circuitos integrados SSI comunes: NOT, AND, OR, NAND Y NOR.
Cuatro puertas OR de 2 entradas (74LS32):

Cuatro puertas AND de 2 entradas (74LS08):

Seis inversores (74LS04):

Cuatro puertas NAND de 2 entradas (74LS00)

Cuatro puertas NOR de 2 entradas (74LS02):

Tema 2: Puertas lgicas y lgebra de conmutacin 8

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

EJERCICIOS RESUELTOS F y G , cuyas expresiones algebraicas son: F ( x, y , z ) = x y + x z + y z y G ( x, y , z ) = x z + y z + x y

1. Comprobar, usando las tablas de verdad, que son equivalentes las funciones 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 1 1 1 0 0 1 1 1 G 1 1 1 0 0 1 1 1 Se evala cada funcin en los 8 casos y se comprueba que ambas columnas coinciden. Al estar como suma de productos es suficiente con que un trmino sea 1 para que la funcin sea 1. Slo cuando son 0 todos los trminos, la funcin es 0. Por ejemplo:

F (1,0,1) = 1 0 + 1 1 + 0 1 = 0 + 1 + 0 = 1 F (0,1,1) = 0 1 + 0 1 + 1 1 = 0 + 0 + 0 = 0 x y = x y.

2. Demostrar algebraicamente que se cumple la relacin

x y = x y + x y = x y x y = ( x + y) ( x + y) = x x + x y + y x + y y = x y + x y =
si llamamos

a = x , queda = a y+a y = a y = x y

3. Minimizar, usando las propiedades del lgebra del Boole la expresin

F ( x, y , z ) = x y + y z + x y z + x y z + x y z
Simplificacin

F ( x , y , z ) = x y + y z + x y z + x y z + x y z = x y + y z + x y ( z + z ) + x y z = = x y + y z + x y + x y z = ( x + x ) y + y z + x y z = y + y z + x y z =
con lo que queda

= y + y ( z + x z ) = y + y ( z + x ) = y + z + x
o bien podra hacer como

= y + z + x yz = y + z + x y = y + x + z
4.- Supongamos que queremos encender la luz de una nave industrial, activando los focos (ponindolo a 1 la funcin que los controla). Para ello, se dispone de un detector de presencia en la nave, que se activa (ponindose a 1) cuando hay una persona en el interior de la nave, un interruptor crepuscular, que se activa (ponindose a 1) cuando es de noche y un interruptor manual, que se activa (ponindose a 1) cuando alguien levanta una palanca desde una oficina. Encontrar la funcin booleana que controla el encendido suponiendo que la luz se enciende slo en alguno de los siguientes casos: 1) Cuando se detecta la presencia de una persona en la nave y es de noche. 2) Cuando se levanta la palanca, siempre que sea de noche.

Tema 3: lgebra de Conmutacin

TECNOLOGA DE COMPUTADORES. CURSO 2007/08 Inocente Snchez Ciudad

PRESENCIA (A)
NO NO N0 N0 SI SI SI SI

CREPUSCULAR (B)
NO NO SI SI NO NO SI SI

PALANCA (C)
NO SI NO SI NO SI NO SI

LUZ (F)
NO NO NO SI NO NO SI SI

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 0 1 0 0 1 1

F = ABC + ABC + ABC = ABC + ABC + ABC + ABC = ( A + A) BC + AB(C + C) = BC + AB = B(C + A)

5. Sean funcin

F1 =

m ( 5 , 6 ,13 ) y F2 =

m ( 0,1, 2 ,3,5,6,8,9,10 ,11,13 ) . Encontrar una

F3 tal que F1 = F2 F3 . Expresar la expresin de F3 en forma de tabla de verdad.

A
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

n
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

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

F1
0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0

F2
1 1 1 1 0 1 1 0 1 1 1 1 0 1 0 0

__ F3
0 0 0 0 X 1 1 X 0 0 0 0 X 1 X X

F3
1 1 1 1 X 0 0 X 1 1 1 1 X 0 X X X significa que puede ser 0 o 1, no importa

1) Explicacin de los casos n = 0, 1, 2, 3, 8, 9, 10 y 11. __ Para que F1 sea 0, como F2 es 1, es NECESARIO que F3 sea 0. 2) Explicacin de los casos n = 5, 6 y 13. __ Para que F1 sea 1, como F2 es 1, es NECESARIO que F3 sea 1. 3) Explicacin de los casos n = 4, 7, 12, 14 y 15. __ Para que F1 sea 0, como F2 es 0, es IRRELEVANTE el valor de que F3. Tema 3: lgebra de Conmutacin 10