Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 2
Tema 2
Tema 2
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.
OR NOR
AND NAND
x y = x y + x y x y = x y + x y
OR2 4 5
x y
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):
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
+ 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 0 1 y x y x
x, y B se cumple x+ y = y+x x y = yx
x+y xy
y+x yx
x + x =1
xx = 0
x x
x x
x +1 = 1 x0 = 0
Teorema 2:
x 1 x x
x 0 x x
x+ x= x xx = x
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
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 y G equivalentes: misma tabla de verdad. G ms sencilla. Simplificacin algebraica. algebraicamente. Consiste en aplicar las propiedades del A. Boole y operar
o bien
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
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 ,
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
M3 = x + y + z
M5 = x + y + z
M6 = x + y + z
porque si y slo si
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
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
Una forma compacta de representar una funcin es, para el ejemplo anterior:
ANEXO: Circuitos integrados SSI comunes: NOT, AND, OR, NAND Y NOR.
Cuatro puertas OR de 2 entradas (74LS32):
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.
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
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.
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
F1 =
m ( 5 , 6 ,13 ) y F2 =
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