TRILCE

Capítulo

6 LÓGICA E INFORMÁTICA
RELACIÓN ENTRE LA LÓGICA Y LA INFORMÁTICA

La lógica constituye el fundamento teórico de la informática en cuanto le proporciona las herramientas para la construcción
de lenguajes de programación. Entre sus múltiples aplicaciones, la lógica se aplica a la tecnología. En este campo, la lógica
se aplica a la construcción de circuitos lógicos y entre ellos los circuitos eléctricos, compuertas lógicas, los diagramas de flujo,
etc.

I. CIRCUITOS ELÉCTRICOS
Para cualquier fórmula proposicional podemos construir un circuito eléctrico que resultará más fácil en tanto la fórmula
tenga sólo operadores “  ”, “  ” y/o “~”.
Los circuitos eléctricos están formados por conmutadores o interruptores que son los órganos lógicos que dejan
pasar o no dejan pasar la corriente eléctrica.

Estado lógico Interruptor Lámpara

V Cerrado Encendida
F Abierto Apagada

Ahora podemos construir los circuitos. El procedimiento que se sigue es el mismo que se emplea en la construcción de
computadoras electrónicas. Estos circuitos son de dos clases: en serie y en paralelo.

A. Circuitos en serie: Los circuitos en serie constan de dos o más interruptores donde un interruptor está después
de otro y así sucesivamente. El gráfico de un circuito en serie es la representación de una fórmula proposicional
conjuntiva, cuya expresión más simple es “p  q”, y que se representa de la siguiente manera:

p q

@
lámpara

batería
Ejm.:
p q p q

Para que este circuito quede cerrado y la lámpara se encienda, “p” y “q” deben estar cerrados, esto es, “p” y “q”
deben ser verdaderos a la vez. En otros términos, es la aplicación de la tabla de verdad de la fórmula “p  q”.

B. Circuitos en paralelo: Los circuitos en paralelo constan de dos o más interruptores, donde un interruptor están
en la otra línea y así sucesivamente. El gráfico de un circuito en paralelo es la representación de una fórmula
proposicional disyuntiva, cuya expresión más simple es " p  q ", y que se representa así:
p

q
@
lámpara

batería
Ejm.:
p
p q
q
Para que este circuito quede cerrado y la lámpara se encienda, bastará que uno de los interruptores esté cerrado. Esto
es, el circuito quedará cerrado, o bien cuando “p” sea verdadero o cuando “q” sea verdadero, o bien cuando ambos
sean verdaderos. Solamente no se encenderá la lámpara cuando los dos interruptores estén abiertos, o sea, cuando
“p” y “q”, ambos, sean falsos a la vez. Este caso, es la aplicación de la tabla de verdad de " p  q ".

51
Lógica

PRÁCTICA
01. Señale lo correcto: a) ~ p  q b) p  ~ q c) q
I. La fórmula simple de un circuito seriado es p  q. d) p e) p  ~ q
II. La contradicción en un circuito en serie enciende la
lámpara.
III. En (~p  q), una lámpara no se enciende. 06. Dadas las siguientes afirmaciones:
IV. En un circuito seriado, la lámpara se enciende si I. En una (  ) un conmutador puede estar abierto y
uno de sus conmutadores está abierto.
el otro cerrado, encendiéndose la lámpara.
a) I y II verdaderos. b) I y IV ciertos .
c) II y IV son falsos. d) I y III no correctos. II. En una (  ) un conmutador puede estar abierto y
e) Todos falsos. cerrado a la vez, no encendiéndose el foco.
02. La siguiente fórmula se representa gráficamente en el III. Un conmutador abierto equivale a un estado lógi-
sistema de circuitos lógicos: co verdadero.
(p  q)  q  [p  q)  (~ p ~ q)]  Son verdaderas:
p q p q a) I y III b) I y II c) II y III
d) Sólo I e) I, II y III
a)
~p ~q 07. Encontrar el equivalente al siguiente circuito lógico:
p q p ~p ~q

b) p q p p
q
~q

p q a) ~p ~q

b) p
c) p q
q
p’ q’ c) ~p
d) T. A. d) q ~p
e) Sólo vale b.
e) ~q p
03. El diagrama
p q
08. Sobre los circuitos en paralelo señale lo correcto:
q p
I. Fórmula lógica (p  q)
II. El foco se enciende si los valores no son falsos.
III. Si un conmutador no es falso, la lámpara no se
p q enciende.
Se simplifica en: IV. El tercio excluido hace que la lámpara se encienda.
a) (p  q) b) (p  q) c) p
d) q e) ~ (q  p) a) Sólo I es verdadero.
b) Sólo IV es falso.
04. Dado el siguiente circuito: c) Sólo III es falso.
d) I y III son verdaderos.
p
e) III y IV son falsos.
p q q
09. El circuito lógico más simple que representa a :
r ~p p

su equivalente es:
~p q r q
a) p  q b) p  q c) r
es:
d) p  r e) p  ~ q

05. Hallar el equivalente de: a) p ~q

q q ~p ~p
b)
~p ~p q q

52
 TRILCE

p a) p  [(~ p  q)  (p  q)]
c) b) p  [(~ p  q)  (p  q)]
q
c) (~ p  q)  [(p  q)  p]
d) p q d) (~ p  q)  [p  (p  q)]

e) ~p q e) (~ p  q)  [p  (p  q)]

10. Encontrar el equivalente del siguiente circuito lógico: 14. ¿A qué formula representa el siguiente circuito lógico?
p ~p q
p p q
r
q p q r
a) (p  q)  r  [(~ p  q)  r]

a) p q b) (~ p  q)  r  [(~ p  ~ q)]
c) (p  q)  r  (p  q)
b) p
d) (p  q)  r  [(~ p  q)  r]
c) ‘p e) No se puede.
d) q ‘p
15. Luego de simplificar el siguiente circuito señale su valor
e) ‘q p final
q p
11. Señale la fórmula simplificada del siguiente circuito p r
lógico: p

p ‘q a) V b) F c) FV
d) VF e) Indeterminado.
‘q p
16. Señale la fórmula final del siguiente diagrama:
p q
q
a) (p  ~ q)  (q  p) r
b) p  q q r
c) p~q p q
a) [(p  q)  r]  q
d) ~ p  ~ q
e) ~q p b) [(q  r)  (p  q)]  q
c) (p  q)  (r  q)
12. La fórmula del siguiente circuito lógico es: d) (p  q)  (r  q)
p
p e) {[(p  q)  r]  q}  [(q  r)  (p  q)]
q
17. ¿Cuál de los siguientes circuitos lógicos representa a
una contradicción?
p q q
a) [p  (~ p  q)  (p  q)] I. ‘p
p
b) [(p  ~ p)  q]  (p  q) ‘p q
c) [p  (~ p  q)]  (p  q) II. p
‘p
d) (p  q)  (~ p  q  q)
p q p
e) p  (~ p  q)  (p  q)
III.
p
13. La fórmula del siguiente circuito lógico es:

~p a) Sólo I. b) Sólo II. c) I y II.

d) Sólo III. e) II y III.
q
p

p q

53
Lógica

18. ¿Cuál de los siguientes circuitos puede ser representado d) ~ (p  p)  r  p

únicamente por el conmutador “p”?
e) ~ (p  p)  r  p
p q p
a)
r 'p r p 24.
'p q
b) 'p ‘p
q r
q En el diagrama anterior:
p p a) La lámpara se enciende.
c)
b) La lámpara no se enciende.
r
c) Es un circuito seriado.
q d) Es un circuito en paralelo.
d) p q
r e) Más de una es correcta.
p q
25. Simplificar el siguiente circuito :
e)
r ‘p p
p q
q
19. En:
‘p q p
1
a) p  q b) p  q c) p  (p  q)
r ‘s
d) ~ p  q e) p
a) El foco no se enciende.
b) Es un circuito en serie. 26. En un circuito en serie, si un conmutador está abierto
c) Es un circuito falso. entonces:
d) El foco se enciende. a) Posiblemente el foco se enciende.
e) Todas son correctas.
b) Necesariamente el foco se enciende.
20. Determine el valor final del siguiente circuito: c) Posiblemente el foco no se enciende.
p d) Necesariamente el foco no se enciende.
‘p e) Es indeterminable.
p q
a) Tautología. b) Consistente.
'p
c) Indefinido. d) Contingente. p r
27.
e) Contradictorio. q
p
21. Indique la proposición correcta:
Al simplificar el diagrama, se obtiene:
a) Las compuertas lógicas son bloques de circuitos
a) p  q b) ~ p  q c) p  r
que producen señales de salida.
d) p e) N. A.
b) La compuerta NOT es un estado inversor.
c) Las compuertas no inversoras son AND y OR.
d) a y b. 28.
p
e) a, b y c.
q
22. La fórmula simple de un círculo en paralelo es:

a) p  q b) p  q c) ~ p  ~ q
r s
d) p  q e) N. A.
a) (p  q)  (r  s)
23. Señale la fórmula del siguiente diagrama:
b) ~ (p ~ q)  (r  s)
'p q'
c) ~ (p  q)  (r  s)
r d) ( p  q )  (~ r  ~ s)
p e) (p  q)  (r  s)
a) (~ p  ~ q)  (r  p)
b) (~ p  ~ q)  (r  p)
c) (~ p  ~ q)  (r  p)

54
 TRILCE

34. Halle el circuito simplificado de:

q s
[~ p  (q  p)]  [q  (r  q)]
s q
~p
29. q
p q a) b) ~p q
q
s t r
a) {[(q  s)  (s  q)]  [(p  q)  (s  t)]}  q c) d) p
q
b) {[(q  s)  (s  q )]  [(p  q)  (s  t)]  q}
e) q
c) {[(q  s)  (s  q)]  [(p  q)  (s  t)]}  q
d) Sólo a y b. 35. Determine el diagrama simplificado de :
e) Sólo a y c. [(p  q)  (~ p  q)]  [(p  ~ q)  p]

30. Reduzca y determine la expresión equivalente: ~p

p q a) b) p q
q ~q p
p c) ~p q d)
q
~p e) p
p
p
~q 36. Dada la fórmula simplificada: p  q , cuál de los
q siguientes diagramas es su equivalente:
q ~q
p p
p
q q q
~p
a) ~ p  ~ q b) p  q
a) p q
c) p  q d) p  ~ p
e) p  ~ p
p q
31. Halle la fórmula simplificada del siguiente diagrama: q p ~q
q b)
q q
p r
r r s
r s
a) p b) r c) p  q p
c)
d) q  r e) p  r p
q p
32. Halle la fórmula de:
~p q p
q p
~r p p
r
q q q p q
s d) ~p
p p
a) [(~ p  q)  (r  s)]  ~ r  (p  q) q
r s
b) [(~ p  q)  (r  s)]  ~ r  (p  q)
c) (p  q  r  s) ~ r  (p  ~ q) p
p q
d) (p  q  r  s) ~ r  (p  ~ q) e) q
~p
e) No tiene fórmula. q
p r
33. Halle la fórmula simplificada de:
~r
s
s
t
p
s
~q
a) s  t b) s  t c) p  s
d) ~ q  s e) t  q

55
Lógica

37. Corresponde a: 42. Simplifique:

p'
p q'
r
p q
q p'
a) p  (~ p  q) p'
q' p
b) p  (~ p  q) q
c) p  (~ p  q) a) r
d) p  (~ p  q) b) r'
e) (p  ~ p)  q p
c)
q
38. El circuito corresponde a:
p' q' r
d)
q p p
a) p  q b) q  p e) r q
c) ~ p  q d) ~ q  p
e) p  q 43. Qué circuito corresponde a:
(p  q)  ~ q
39. Qué circuito corresponde a:
(p  q) ~ p
a) p
p' b) q
a)
q c) q'
b) p d) p'
c) p' p
d) e)
p' q q'
e) q'
44. Simplifique:
40. ¿A qué esquema corresponde?
p'
q' p' q
p q
p
q p'
r p q
p'
a) p b) q c) ~p
d) ~q e) r
a) p' q
41. Simplifique el circuito siguiente:
p' q' p'
b)
q' q q
p c)
r' q' p

a) q' p d) p'
q' e) q'
b)
p
45. Los sistemas empleados por la informática se basan en
c) p' estructuras:
d) q' a) Lógicas. b) Matemáticas.
e) q p' c) Dicotómicas. d) Atómicas.
e) Monotómicas.

56
 TRILCE

46. La siguiente fórmula: p  ~ q  r corresponde a un 51. La fórmula simplificada de:

s
circuito en : s
a) Paralelo. b) Serie. t
c) Lógica. d) Informática. ~q
e) Electricidad. ~q
p ~p
47. Señale la fórmula de:
p p
a) p  t b) ~q c) ~ q  ~ p
~p d) ~p e) t  s

a) p  ~ p b) p  ~ p 52. Represente a (p  q) ~ r , en el diagrama del circuito

c) p  p d) p  ~ p eléctrico.
e) p  ~ q p ~q
a)
48. El circuito ~r
q p
b) r
q p q
p
p q
Equivale al circuito:
c)
a) q r
b) ~p d) No tiene diagrama
q
~p
c)
p
e) q
d) ~q
e) p ~r

49. La expresión ~ (q  ~ p) equivale al circuito: 53. Represente a: (p  q)  (r  s)

p p
a) q
q
b) a) ~r
~p q
s
c) q ~p
~p ~p
d)
~q ~q
e) p q b) ~r
50. La fórmula de: s
p
p ~r
~q q
~p r c)
q s
p ~q
~p ~q
r d)
~r s
a) ~ p  (~ q  p)  [(p  q)  (~ q  r)]  r
p
b) (~ p  ~ q)  [(p  q)  (~ q  r)  r]  r ~r s
e)
q
c) [~ p  (~ q  p)]  [(p  q)  (~ q  r)]  r
d) (~ q  p)  [(p  q)  (~ q  r)]  r
e) r  [~ p  (~ q  p)]  [(p  q)  (~ q  r)]

57
Lógica

54. La fórmula que presenta al diagrama siguiente es: ~p

p ~q r
q
d) ~q
~p q r
p
a) (p  q  r)  (p ~ q  r)
p q
b) (p  ~ q  r)  (~ p  q  r)
c) (p  ~ q  r)  (~ p  q  r) e)
~p ~q
d) (p  q)  r 58. Simplifique el siguiente diagrama:
e) (p  q  r)  q r
r
s p
55. El equivalente al diagrama, es: p
p
p q
q a) p
q b) q
p
p c) rs
d) pq
a) p  q
b) p e) p  q
c) p  q
59. Qué esquema corresponde a:
d) p  (p  q)  r
q
e) q p'
p'
56. El diagrama de: (p  q)  (q  r) , es: r' q'
~p ~q

a) a) [~ p  (q  ~ p)]  (~ r  ~ q)
q r b) [~ p  (q  ~ p)]  (~ r  ~ q)
p c) ~ p ~ q ~ r
b) d) ~ p  (~ q  ~ r)
q
e) ~ p  (~ q  ~ r)
~p
p 60. Simplifique:
c)
q
p q'
d) p q p
e) No tiene diagrama lógico. q'
p'
57. El diagrama de: p  q , es: q
a) p q
a) V
~p ~q
b) F
b) c) p  (~ p  q)
q p
d) ~ q  p
p e) ~ q  p
p
c)
q

58