TRILCE

Captulo

LGICA E INFORMTICA

RELACIN ENTRE LA LGICA Y LA INFORMTICA

La lgica constituye el fundamento terico de la informtica en cuanto le proporciona las herramientas para la construccin
de lenguajes de programacin. Entre sus mltiples aplicaciones, la lgica se aplica a la tecnologa. En este campo, la lgica
se aplica a la construccin de circuitos lgicos y entre ellos los circuitos elctricos, compuertas lgicas, los diagramas de flujo,
etc.
I.

CIRCUITOS ELCTRICOS
Para cualquier frmula proposicional podemos construir un circuito elctrico que resultar ms fcil en tanto la frmula
tenga slo operadores , y/o ~.
Los circuitos elctricos estn formados por conmutadores o interruptores que son los rganos lgicos que dejan
pasar o no dejan pasar la corriente elctrica.

Estado lgico
V
F

Interruptor
Cerrado
Abierto

Lmpara
Encendida
Apagada

Ahora podemos construir los circuitos. El procedimiento que se sigue es el mismo que se emplea en la construccin de
computadoras electrnicas. Estos circuitos son de dos clases: en serie y en paralelo.
A. Circuitos en serie: Los circuitos en serie constan de dos o ms interruptores donde un interruptor est despus
de otro y as sucesivamente. El grfico de un circuito en serie es la representacin de una frmula proposicional
conjuntiva, cuya expresin ms simple es p q, y que se representa de la siguiente manera:
p

q
@
lmpara

batera
Ejm.:

Para que este circuito quede cerrado y la lmpara se encienda, p y q deben estar cerrados, esto es, p y q
deben ser verdaderos a la vez. En otros trminos, es la aplicacin de la tabla de verdad de la frmula p q.
B. Circuitos en paralelo: Los circuitos en paralelo constan de dos o ms interruptores, donde un interruptor estn
en la otra lnea y as sucesivamente. El grfico de un circuito en paralelo es la representacin de una frmula
proposicional disyuntiva, cuya expresin ms simple es " p q ", y que se representa as:
p

Ejm.:

@
lmpara

batera

p
p q
q
Para que este circuito quede cerrado y la lmpara 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 lmpara cuando los dos interruptores estn abiertos, o sea, cuando
p y q, ambos, sean falsos a la vez. Este caso, es la aplicacin de la tabla de verdad de " p q ".
51

Lgica

PRCTICA
01. Seale lo correcto:
I. La frmula simple de un circuito seriado es p q.
II. La contradiccin en un circuito en serie enciende la
lmpara.
III. En (~p q), una lmpara no se enciende.
IV. En un circuito seriado, la lmpara se enciende si
uno de sus conmutadores est abierto.
a) I y II verdaderos.
b) I y IV ciertos .
c) II y IV son falsos.
d) I y III no correctos.
e) Todos falsos.
02. La siguiente frmula se representa grficamente en el
sistema de circuitos lgicos:

(p q) q [p q) (~ p ~ q)]
p
a)

~p

p
b)

~q

d) p

e) p ~ q

c) q

06. Dadas las siguientes afirmaciones:

I.

En una ( ) un conmutador puede estar abierto y

el otro cerrado, encendindose la lmpara.

II. En una ( ) un conmutador puede estar abierto y

cerrado a la vez, no encendindose el foco.
III. Un conmutador abierto equivale a un estado lgico verdadero.
a) I y III

b) I y II

d) Slo I

e) I, II y III

c) II y III

07. Encontrar el equivalente al siguiente circuito lgico:

~p

~q
p

~q

p
c)

b) p ~ q

Son verdaderas:

a) ~ p q

q
p

p q

d) T. A.
e) Slo vale b.

a)

~p

b)

c)

~p

d)

e)

~q

~q

~p
p

03. El diagrama
p

q
p

08. Sobre los circuitos en paralelo seale lo correcto:

I. Frmula lgica (p q)
II. El foco se enciende si los valores no son falsos.
III. Si un conmutador no es falso, la lmpara no se
enciende.
IV. El tercio excluido hace que la lmpara se encienda.

p
Se simplifica en:
a) (p q)

b) (p q)

d) q

e) ~ (q p)

c) p

04. Dado el siguiente circuito:

p
p

a)
b)
c)
d)
e)

Slo I es verdadero.
Slo IV es falso.
Slo III es falso.
I y III son verdaderos.
III y IV son falsos.

09. El circuito lgico ms simple que representa a :

~p
p

su equivalente es:
a) p q

b) p q

d) p r

e) p ~ q

~p q

c) r

a)

05. Hallar el equivalente de:

q

~p

~p

~p
q

~q
~p

b)

52

es:

TRILCE

a) p [(~ p q) (p q)]

c)

b) p [(~ p q) (p q)]

c) (~ p q) [(p q) p]

d)

d) (~ p q) [p (p q)]

e)

~p

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

10. Encontrar el equivalente del siguiente circuito lgico:

p

14. A qu formula representa el siguiente circuito lgico?

p
~p
q

r
q

a) (p q) r [(~ p q) r]
a)

b)

c)

d)

e)

b) (~ p q) r [(~ p ~ q)]

c) (p q) r (p q)
d) (p q) r [(~ p q) r]
e) No se puede.

11. Seale la frmula simplificada del siguiente circuito

lgico:
p

a) (p ~ q) (q p)
b) p q

p~q
d) ~ p ~ q
e) ~q p
c)

15. Luego de simplificar el siguiente circuito seale su valor

final
q p
p r

p
a) V
d) VF

b) F
c) FV
e) Indeterminado.

16. Seale la frmula final del siguiente diagrama:

p q
q
r
q r
p q
a) [(p q) r] q
b) [(q r) (p q)] q
c) (p q) (r q)

12. La frmula del siguiente circuito lgico es:

p
p
q

e) {[(p q) r] q} [(q r) (p q)]

17. Cul de los siguientes circuitos lgicos representa a
una contradiccin?
q
p
I.
p

d) (p q) (r q)

a) [p (~ p q) (p q)]
b) [(p ~ p) q] (p q)

c) [p (~ p q)] (p q)

d) (p q) (~ p q q)

e) p (~ p q) (p q)
III.
13. La frmula del siguiente circuito lgico es:

a) Slo I.
d) Slo III.

~p

q
p

II.

p
b) Slo II.
e) II y III.

c) I y II.

q
p
p

q
53

Lgica

18. Cul de los siguientes circuitos puede ser representado

nicamente por el conmutador p?
p q
p
a)
r p
r 'p

d)

q
p
r
p

24.

'p

c)

e) ~ (p p) r p

'p
b)

d) ~ (p p) r p

p
En
a)
b)
c)
d)
e)

p
q

e)

r
el diagrama anterior:
La lmpara se enciende.
La lmpara no se enciende.
Es un circuito seriado.
Es un circuito en paralelo.
Ms de una es correcta.

25. Simplificar el siguiente circuito :

p

19. En:

a)
b)
c)
d)
e)

El foco no se enciende.
Es un circuito en serie.
Es un circuito falso.
El foco se enciende.
Todas son correctas.

20. Determine el valor final del siguiente circuito:

p
p
p q
a) Tautologa.
c) Indefinido.
e) Contradictorio.

b) Consistente.
d) Contingente.

21. Indique la proposicin correcta:

a) Las compuertas lgicas son bloques de circuitos
que producen seales de salida.
b) La compuerta NOT es un estado inversor.
c) Las compuertas no inversoras son AND y OR.
d) a y b.
e) a, b y c.

a) p q

b) p q

d) ~ p q

e) p

c) p (p q)

26. En un circuito en serie, si un conmutador est abierto

entonces:
a) Posiblemente el foco se enciende.
b) Necesariamente el foco se enciende.
c) Posiblemente el foco no se enciende.
d) Necesariamente el foco no se enciende.
e) Es indeterminable.

27.

'p

q
p

Al simplificar el diagrama, se obtiene:

a) p q
b) ~ p q c) p r
d) p
e) N. A.

28.

p
q

22. La frmula simple de un crculo en paralelo es:

a) p q

b) p q

d) p q

e) N. A.

c) ~ p ~ q

23. Seale la frmula del siguiente diagrama:

q'

'p

a) (~ p ~ q) (r p)
b) (~ p ~ q) (r p)
c) (~ p ~ q) (r p)
54

r
a) (p q) (r s)
b) ~ (p ~ q) (r s)
c) ~ (p q) (r s)

d) ( p q ) (~ r ~ s)

e) (p q) (r s)

TRILCE

34. Halle el circuito simplificado de:

[~ p (q p)] [q (r q)]

29.

~p

q
a)

a) {[(q s) (s q)] [(p q) (s t)]} q

b) {[(q s) (s q )] [(p q) (s t)] q}
c) {[(q s) (s q)] [(p q) (s t)]} q
d) Slo a y b.
e) Slo a y c.
30. Reduzca y determine la expresin equivalente:
p
q

c)

d)

q
q

e)

35. Determine el diagrama simplificado de :

[(p q) (~ p q)] [(p ~ q) p]

~p
a)

b)

c)

~p

e)

p
q

~p

d)

~q

~q

36. Dada la frmula simplificada: p q , cul de los

siguientes diagramas es su equivalente:

a) ~ p ~ q

q
b) p q

c) p q

d) p ~ p

q
a)

~p

e) p ~ p

p q

31. Halle la frmula simplificada del siguiente diagrama:

q
q
p
r
r
a) p
b) r
c) p q
e) p r

q
b)

p ~q

q
r
r

c)

s
p

p
q

32. Halle la frmula de:

~p
q
r

~r

p
q
d)

s
a) [(~ p q) (r s)] ~ r (p q)

d) (p q r s) ~ r (p ~ q)
e) No tiene frmula.

e)

p q

q
p

~p
q

c) (p q r s) ~ r (p ~ q)

33. Halle la frmula simplificada de:

~r
s
s
p
s
~q
a) s t
b) s t
c) p s

b) [(~ p q) (r s)] ~ r (p q)

d) ~ q s

~q

d) q r

~p

b)

q
~p

e) t q
55

Lgica

37. Corresponde a:

42. Simplifique:

p'
p

q'

p'

a) p (~ p q)

p'

b) p (~ p q)

p (~ p q)

a)

d) p (~ p q)

b)

r'
p

c)

e) (p ~ p) q

c)

q'

a) p q

b) q p

c) ~ p q

d) ~ q p

38. El circuito corresponde a:

p'

q'

r
d)
e)

e) p q

p
q

43. Qu circuito corresponde a:

(p q) ~ q

39. Qu circuito corresponde a:

(p q) ~ p

a)
b)

c)

p'

d)

p'

b)

c)

q'

d)

p'

p
e)

p'

e)

a)

q'

q'
44. Simplifique:

40. A qu esquema corresponde?

p'
q
q

b) q
e) r

a)

41. Simplifique el circuito siguiente:

r'
a)

q'
q'

b)

p'
q

q'

p'

q'
q'

b)

c)

d)

p'

e)

q'

45. Los sistemas empleados por la informtica se basan en

c)

p'

estructuras:

d)

q'

a) Lgicas.

b) Matemticas.

c) Dicotmicas.

d) Atmicas.

e)

p'

e) Monotmicas.

56

p'
p'

c) ~p

p'

r
a) p
d) ~q

p'

q'

TRILCE

46. La siguiente frmula: p ~ q r corresponde a un

circuito en :
a) Paralelo.
b) Serie.
c) Lgica.
d) Informtica.
e) Electricidad.

51. La frmula simplificada de:

s
s
t
~q
p

47. Seale la frmula de:

a) p t
d) ~p

~p
a) p ~ p

b) p ~ p

c) p p

d) p ~ p

a)

48. El circuito

~r

b)

r
q

Equivale al circuito:
q
a)
~p
b)
q

r
d) No tiene diagrama
~p

e)

~q
p

~r

49. La expresin ~ (q ~ p) equivale al circuito:

p
a)
q
b)

~p

c)

~p

e)

c)

d)

53. Represente a: (p q) (r s)

p
q
a)

~r
s

~p

~p

~q

~q

50. La frmula de:

~p

c) ~ q ~ p

b) ~q
e) t s

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

elctrico.
p
~q

e) p ~ q

d)
e)

~p

c)

~q

b)

~r
s

p
~q

~q

p
r

r
a) ~ p (~ q p) [(p q) (~ q r)] r
b) (~ p ~ q) [(p q) (~ q r) r] r
c) [~ p (~ q p)] [(p q) (~ q r)] r

c)

d)

~r

~p

s
~q

~r

p
e)

~r

d) (~ q p) [(p q) (~ q r)] r
e) r [~ p (~ q p)] [(p q) (~ q r)]

57

Lgica

54. La frmula que presenta al diagrama siguiente es:

p ~q r
~p q

~p
q
~q

d)

a) (p q r) (p ~ q r)

b) (p ~ q r) (~ p q r)
c) (p ~ q r) (~ p q r)
d) (p q) r

e)

~p ~q

58. Simplifique el siguiente diagrama:

e) (p q r) q

r
55. El equivalente al diagrama, es:

r
s
p

q
q

a)
b)
c)
d)

a) p q
b) p
c) p q

p
q
rs
pq

e) p q
59. Qu esquema corresponde a:
q
p'
p'

d) p (p q) r
e) q
56. El diagrama de: (p q) (q r) , es:

a)

~p

~q

b) [~ p (q ~ p)] (~ r ~ q)
c) ~ p ~ q ~ r
d) ~ p (~ q ~ r)

e) ~ p (~ q ~ r)

~p
c)

60. Simplifique:

q'

p
q
d)
e) No tiene diagrama lgico.

q'
p'

57. El diagrama de: p q , es:

p q
a)
~q
~p
b)

p
c)

58

q'

a) [~ p (q ~ p)] (~ r ~ q)

p
b)

r'

a) V
b) F
c)

p (~ p q)

d) ~ q p
e) ~ q p

p
q