Escolar Documentos
Profissional Documentos
Cultura Documentos
Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin
Pgina 1 de 15
Universidad Nacional de San Martn
x y (NOR) y
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 de la operacin inversin o
negado, en forma de tabla de verdad:
x
x+y
xy
x y
x. y
x y
x. y
xy
0
0
1
1
0
1
0
1
1
1
0
0
1
0
1
0
0
1
1
1
0
0
0
1
1
1
1
0
1
0
0
0
1
0
0
0
1
1
1
0
0
1
1
0
Pgina 2 de 15
Universidad Nacional de San Martn
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 ellas, o ambas, no es cierta, el conjunto
ser falso.
Aqu vemos la relacin de la conjuncin copulativa de la Lengua 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
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
Pgina 3 de 15
Universidad Nacional de San Martn
Ejemplo:
Pgina 4 de 15
Universidad Nacional de San Martn
+ y , que
1) B es cerrado: El resultado de operar dos elementos con cualquier operacin produce un elemento del
conjunto B.
x, y B
x+yB
xyB
2) Elemento identidad:
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, y B se cumple
x+y=y+x
xy=yx
4) Propiedad distributiva de una operacin respecto a otra:
x ( y + z) = (x y) + (x z)
x + (y z) = (x + y) (x + z)
5) Existencia de elemento complementario.
x B, existe un elemento x llamado complementario que cumple que:
x+
x =1
x =0
Pgina 5 de 15
Universidad Nacional de San Martn
Teorema 3:
x =x
Teorema 4: Absorcin.
x+xy=x
x+
x y=x+y
x (x + y) = x
x ( x + y) = xy
x y x. y
x. y x y
F ( x, y, z ) x. y y.z x. y.z
Una funcin se puede representar mediante su expresin algebraica o mediante su tabla de verdad. Si
tenemos n variables booleanas, existen 2n permutaciones con repeticiones posibles, para cada una de ellas
la funcin tendr que tomar un valor de los 2 posibles: 0 1. Dos funciones booleanas se dice que son
equivalentes si tienen la misma tabla de verdad en los 2n casos posibles.
Ejemplo:
F x y
G x. y
Las prioridades de los operadores, caso de haber varios, es: parntesis, complementos, productos y sumas.
F (x1, x2,.., xn) > G(x1, x2,..., xn)
F y G equivalentes: misma tabla de verdad. G ms sencilla.
Pgina 6 de 15
Universidad Nacional de San Martn
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 )
x. z x. y y. z
(Expresin mnima)
O bien
(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.
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: 2n maxitrminos y 2n 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.
Pgina 7 de 15
Universidad Nacional de San Martn
x y z
Lugar 0
Lugar 1
Lugar 2
Lugar 3
Lugar 4
Lugar 5
Lugar 6
Lugar 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
0
1
0
0
0
1
1
1
x. y. z
porque si x = 0, y = 0, z = 0,
entonces m0 = 1
Minitrmino 1: m1 =
x. y. z
porque si x = 0, y = 0, z = 1,
entonces m1 = 1
Minitrmino 2: m2 =
x. y. z
porque si x = 0, y = 1, z = 0,
entonces m2 = 1
Minitrmino 3: m3 =
x. y. z
porque si x = 0, y = 1, z = 1,
entonces m3 = 1
Minitrmino 4: m4 =
x. y. z
porque si x = 1, y = 0, z = 0,
entonces m4 = 1
Minitrmino 5: m5 =
x. y. z
porque si x = 1, y = 0, z = 1,
entonces m5 = 1
Minitrmino 6: m6 =
x. y. z
porque si x = 1, y = 1, z = 0,
entonces m6 = 1
Minitrmino 7: m7 =
x. y.z
porque si x = 1, y = 1, z = 1,
entonces m7 = 1
porque si x = 0, y = 0, z = 0,
entonces M0 = 0
Maxitrmino 1: M1 =
x y z porque si x = 0, y = 0, z = 1,
entonces M1 = 0
Maxitrmino 2: M2 =
x y z porque si x = 0, y = 1, z = 0,
entonces M2 = 0
Maxitrmino 3: M3 =
x y z porque si x = 0, y = 1, z = 1,
entonces M3 = 0
Maxitrmino 4: M4 =
x y z porque si x = 1, y = 0, z = 0,
entonces M4 = 0
Maxitrmino 5: M5 =
x y z porque si x = 1, y = 0, z = 1,
entonces M5 = 0
Maxitrmino 6: M6 =
x y z porque si x = 1, y = 1, z = 0,
entonces M6 = 0
Maxitrmino 7: M7 =
x y z porque si x = 1, y = 1, z = 1,
entonces M7 = 0
Maxitrmino 0: M0 = x y z
Para la tabla del ejemplo anterior, quedaran la suma de los minitrminos 1, 5, 6 y 7. Aunque tambin se
podra poner el producto de los maxitrminos 0, 2, 3 y 4.
Pgina 8 de 15
Universidad Nacional de San Martn
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)
Pgina 9 de 15
Universidad Nacional de San Martn
2. ANEXO
Circuitos integrados SSI ms comunes: NOT, AND, OR, NAND Y NOR.
Cuatro puertas OR de 2 entradas (SN74LS32):
Pgina 10 de 15
Universidad Nacional de San Martn
3. Ejercicios
I. Analizar el valor de verdad de los siguientes enunciados:
1. ~Londres es la capital de Inglaterra ~Buenos Aires es la capital de Noruega.
2. ~Roma es la capital de Espaa v ~Pars es la capital de Francia.
3. Buenos Aires es la capital de Noruega ~ Buenos Aires es la capital de Noruega.
4. Pars es la capital de Francia v ~Pars es la capital de Francia.
5. ~[~(~Roma es la capital de Espaa v ~Pars es la capital de Francia) v ~(~Pars es la capital
de Francia v Buenos Aires es la capital de Noruega)].
6. ~[(~Buenos Aires es la capital de Noruega v Pars es la capital de Francia) v
~(~Londres es la capital de Inglaterra ~Roma es la capital de Espaa)].
7. Pars es la capital de Francia ~(Pars es la capital de Francia Roma es la capital de
Espaa).
8. ~(~ Pars es la capital de Francia v Roma es la capital de Espaa) ~[~(~ Buenos Aires
es la capital de Noruega ~ Roma es la capital de Espaa) Londres es la capital de
Inglaterra].
9. (Buenos Aires es la capital de Noruega v ~Pars es la capital de Francia) v ~(~Buenos
Aires es la capital de Noruega ~Londres es la capital de Inglaterra).
10. (Pars es la capital de Francia v ~Roma es la capital de Espaa) v ~(~Pars es la
capital de Francia ~Roma es la capital de Espaa).
11. ~ [~(Londres es la capital de Inglaterra Pars es la capital de Francia) v ~(~Buenos
Aires es la capital de Noruega v ~Pars es la capital de Francia) ].
12. (Buenos Aires es la capital de Noruega v ~Pars es la capital de Francia) v
~(~ Buenos Aires es la capital de Noruega Pars es la capital de Francia)
13. ~[(~Roma es la capital de Espaa v Buenos Aires es la capital de Noruega)
~(~Buenos Aires es la capital de Noruega v Pars es la capital de Francia)].
14. ~ [(~Londres es la capital de Inglaterra Pars es la capital de Francia) v ~(~Pars es
la capital de Francia Roma es la capital de Espaa)].
15. ~ Londres es la capital de Inglaterra v ~[(Buenos Aires es la capital de Noruega v
Pars es la capital de Francia) (~ Londres es la capital de Inglaterra Roma es la
capital de Espaa)]
Pgina 11 de 15
Universidad Nacional de San Martn
1. ~BvX
12. ~(A v Y) (B v X)
2. ~YvC
3. (A X) v (B Y)
4. (B C) v (Y Z)
5. ~(C Y) v (A Z)
6. ~(A B) v (X Y)
7. ~(X Z)v(BC)
9. (A vX) (YvB)
III. Si sabemos que A y B son verdaderos y que X e Y son falsos, pero desconocemos los
valores de verdad de P y Q, Cules de los valores de verdad de los siguientes
enunciados se pueden conocer?
1. AvP
2. QX
13. Pv~(~AvX)
3. Qv~X
14. P [~(PvQ)v~P]
4. ~BP
15. ~[~(~P v Q) v P] v P
5. P v ~P
6. ~P v (Q v P)
7. Q~Q
8. P (~PvX)
9. ~Q [(PvQ) ~P]
Pgina 12 de 15
Universidad Nacional de San Martn
2. (X=>Y)=>Z
11.[(Y=>B)=>Y]=>Y
3. (A=>B)=>C
4. (X=>Y)=>C
5. X=>(Y=>Z)
8. [A=>(X=>Y)]=>C
2. (Q=>A) =>Y
3. (PA) =>B
4. (P=>P) =>X
5. (X=>Q) =>X
6. X=> (Q=>X)
7. (PX) =>Y
VI. Use tablas de verdad para caracterizar las siguientes formas enunciativas como
tautolgicas, contradictorias o contingentes.
1. [p=> (p => q)] =>q
3. (p q) (p =>~q)
Pgina 13 de 15
Universidad Nacional de San Martn
VII. Use tablas de verdad para decidir cules de los siguientes bicondicionales son
tautologas.
1. (p => q) (~q => ~p)
8. p [p (q => p)]
9. p [p v (p => q)]
11. p [p v (q ~q)]
5. p [p (p v q)]
6. p [p v (p q)]
13. p [p (q ~q)]
7. p [p (p => q)]
14. p [p v (q v ~q)]
B + C + C . B + A . B + A .B
2. A . B + A . C + A . C + A + B
1.
3.
A . B . C + A . B . C + A .B . C + A .B .C
A. C +A . D +A . C . B
2.
A. B . C + D . B . A+A . B . C
3.
A. B + D . C +A. C + B . C
A
B
C
B
D
B
A
B
C
Pgina 14 de 15
Universidad Nacional de San Martn
2.
A
B
C
D
D
B
3.
A
D
C
B
D
B
C
A
Pgina 15 de 15
Universidad Nacional de San Martn