Você está na página 1de 15

Escuela de Ciencia y Tecnologa

Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

Escuela: Ciencia y Tecnologa


Materia: Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de
Conmutacin
Profesores: Bompensieri, Alejandro
Cuschnir, Monica
Schurman, Pablo

Pgina 1 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

1. Puertas Lgicas y lgebra De Conmutacin


1.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 efectan 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, tomen el valor 1. En caso
contrario ser 0.
El producto lgico tomar el valor 1 cuando un elemento y otro, y todos, tomen 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. 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
complementario del producto

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

Supongamos que el valor 0 lo asignamos a FALSO y el valor 1 a VERDADERO.


Supongamos que digo la frase x = "Esta carpeta es azul", y la frase y = "Esta carpeta es de cartn".
La frase x+y ser: "Esta carpeta es azul 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 de la Lengua con la operacin lgica OR.
Sea la frase x = "Estamos en octubre", y la frase y = "Estamos en Ciudad Real".

Pgina 2 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

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

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.

1.2. Puertas lgicas bsicas.


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

Pgina 3 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin
Estructura multinivel con puertas de dos entradas:

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

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

Ejemplo:

Pgina 4 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

1.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
lgico, respectivamente.

+ y son la suma lgica y producto

Un Algebra de Boole es un conjunto B, en el que se han definido dos operaciones


cumple los siguientes postulados:

+ 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

Como consecuencia de estos postulados se obtienen los siguientes teoremas:


Teorema 1:
x +1 = 1
x0=0
Teorema 2:
x+x=x
xx=x

Pgina 5 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

Teorema 3:

x =x
Teorema 4: Absorcin.
x+xy=x

x+

x y=x+y

x (x + y) = x

x ( x + y) = xy

Teorema 5: Propiedad asociativa.


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

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

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin
Aplicar las propiedades del A. Boole. Operar algebraicamente.

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)
O bien

x. y.( z z ) y. z.( x x ) x. z.( y y )


x. y y. z x. z

Factor comn 1-4, 2-3, 5-6

(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: 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

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

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

Si hay un1 genera el minitrmino 0, y si hay un 0 genera el maxitrmino 0


Si hay un1 genera el minitrmino 1, y si hay un 0 genera el maxitrmino 1
Si hay un1 genera el minitrmino 2, y si hay un 0 genera el maxitrmino 2
Si hay un1 genera el minitrmino 3, y si hay un 0 genera el maxitrmino 3
Si hay un1 genera el minitrmino 4, y si hay un 0 genera el maxitrmino 4
Si hay un1 genera el minitrmino 5, y si hay un 0 genera el maxitrmino 5
Si hay un1 genera el minitrmino 6, y si hay un 0 genera el maxitrmino 6
Si hay un1 genera el minitrmino 7, y si hay un 0 genera el maxitrmino 7

Denominacin de los minitrminos y los maxitrminos:


Minitrmino 0: m0 =

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

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin
Otra forma de verlo es la siguiente:

F ( x, y, z ) x. y.z x. y.z x. y.z x. y.z

Primera forma cannica:


1 caso en que la funcin vale 1:
2 caso en que la funcin vale 1:
3 caso en que la funcin vale 1:
4 caso en que la funcin vale 1:

x=0, y=0, z=1


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

Segunda forma cannica:

F ( x, y, z ) ( x y z ).( x y z ).( x y z ).( x y z )

1 caso en que la funcin vale 0:


2 caso en que la funcin vale 0:
3 caso en que la funcin vale 0:
4 caso en que la funcin vale 0:

x=0, y=0, z=0


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

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.

Pgina 9 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

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

Cuatro puertas AND de 2 entradas (SN74LS08):

Seis inversores (SN74LS04):

Cuatro puertas NAND de 2 entradas (SN74LS00):

Cuatro puertas NOR de 2 entradas (SN74LS02):

Pgina 10 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

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

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

II. Si A, B y C son enunciados verdaderos y X, Y y Z son enunciados falsos, cules de


los siguientes son verdaderos?

1. ~BvX

12. ~(A v Y) (B v X)

2. ~YvC

13. ~(X v Z) (~X v Z)

3. (A X) v (B Y)

14. ~(A v C) v ~(X ~Y)

4. (B C) v (Y Z)

15. ~[(A v ~C) v (C v ~A)]

5. ~(C Y) v (A Z)

16. ~[(B C) ~(C B)]

6. ~(A B) v (X Y)

17. ~[(A B) v ~(B A)]

7. ~(X Z)v(BC)

18. [A v (B v C)] ~[(A v B) v C]

8. ~(X ~Y) v (B ~C)

19. [X v (Y Z)] v ~[(X v Y) (X v Z)]

9. (A vX) (YvB)

20. [A (B v C)] ~[(A B) v (A C)]

10. (BvC) (YvZ)

21. ~{[(~A B) (~X Z)] ~[(A B) v ~(~Y ~Z)]}

11. (XvY) (XvZ)

22. ~{~[(B ~C) v (Y ~Z)] [(~B v X) v (B v ~Y)]}

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

12. ~Pv[~Q v (P Q)]

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

16. (~P v Q) ~[~P v (P Q)]

6. ~P v (Q v P)

17. ~[P v (B Y)] v [(P v B) (P v Y)]

7. Q~Q

18. [Pv(QA)] ~[(PvQ) (PvA)]

8. P (~PvX)

19. [Pv(QX)] ~[(PvQ) (PvX)]

9. ~Q [(PvQ) ~P]

20. ~[~P v (~Q v X)] v [~(~P v Q) v (~P v X)]

10. (PvQ) ~(QvP)

21. ~[~P v (~Q v A)] v [~(~P v Q) v (~P v A)]

11. (PQ) (~Pv~Q)

22. ~[(P Q) v (Q ~P)] ~[(P ~Q) v (~Q ~P)]

Pgina 12 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

IV. Confeccionar las tablas de verdad correspondientes a los siguientes enunciados:


1. (A=>B)=>Z

10. [(X=>Z)=>C] =>Y

2. (X=>Y)=>Z

11.[(Y=>B)=>Y]=>Y

3. (A=>B)=>C

12.[(A X) => C] => [(A => C) => X]

4. (X=>Y)=>C

13.[(A X) => C] => [(A =>X) => C]

5. X=>(Y=>Z)

14.[(A X) => Y] => [(X=> A) (A Z Y)]

6. [(A => B) => C] => Z

15.[(A X) v (~A ~X)] => [(A => X) (X=> A)]

7. [(A => X) => Y] => Z

16.{[(X=> Y) => Z] => [Z=> (X=> Y)]} => [(X=> Z) => Y]

8. [A=>(X=>Y)]=>C

17.[(A X) => Y] => [(A => X) (A => Y)]

9. [A => (B =>Y)] => X

18.[(A =>(X Y)] => [(A => X) v (A => Y)]

V. Si A y B se conocen como verdaderos y X y Y como falsos, pero los valores de verdad


de P y de Q no se conocen, de cules de los siguientes enunciados podemos
determinar los valores de verdad?
1. X =>Q

12. (X=>P) => (B=> Y)

2. (Q=>A) =>Y

13. [(P=>B) =>B] =>B

3. (PA) =>B

14. [(X=>Q) =>Q] =>Q

4. (P=>P) =>X

15. (P=>X) => (~X=>~P)

5. (X=>Q) =>X

16. (X=>P) => (~X=>Y)

6. X=> (Q=>X)

17. (P=>A) => (A=>~B)

7. (PX) =>Y

18. (P=>Q) => (P=>Q)

8. [P => (Q => P)] => Y

19. (P=>~~P) => (A=>~B)

9. (Q => Q) => (A => X)

20. ~(A P) => (~A v ~P)

10. (P=>X) => (X=> P)

21. ~(P X) => ~(P v ~X)

11. (P=>A) => (B=>X)

22. (XvQ) => (~X~Q)

VI. Use tablas de verdad para caracterizar las siguientes formas enunciativas como
tautolgicas, contradictorias o contingentes.
1. [p=> (p => q)] =>q

6. (p => p) =>(q ~q)

2. p => [(p=> q) =>q]

7. [p=>(q=>r)] => [(p=>q)=>(p=>r)]

3. (p q) (p =>~q)

8. [p=>(q=>p)] => [(q=>q)=>(r=>r)]

4. p => [~p => (q v ~q)]

9. {[(p=>q) (r=>s)] ( p v r)}=>(q v s)

5. p => [p => (q ~q)]

10. {[(p=>q) (r=>s)] (q v s)}=>(p v r)

Pgina 13 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

VII. Use tablas de verdad para decidir cules de los siguientes bicondicionales son
tautologas.
1. (p => q) (~q => ~p)

8. p [p (q => p)]

2. (p => q) (~p => ~q)

9. p [p v (p => q)]

3. [(p => q) => r] [(q => p) => r]

10. (p => q) [(p v q) q]

4. [p => (q => r)] [q => (p => r)]

11. p [p v (q ~q)]

5. p [p (p v q)]

12. p [p (q => ~q)]

6. p [p v (p q)]

13. p [p (q ~q)]

7. p [p (p => q)]

14. p [p v (q v ~q)]

VIII. Simplificar las expresiones dadas indicando las propiedades utilizadas.

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

IX. Realice los diagramas de las siguientes expresiones lgicas.


1.

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

X. Realice la expresin lgica del siguiente diagrama.


1.

A
B
C
B
D
B

A
B
C
Pgina 14 de 15
Universidad Nacional de San Martn

Martn de Irigoyen 3100, San Martn, Buenos Aires

Escuela de Ciencia y Tecnologa


Introduccin a la Informtica
Unidad 2: Puertas Lgicas y lgebra de Conmutacin

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

Martn de Irigoyen 3100, San Martn, Buenos Aires

Você também pode gostar