LGICA PROPOSICIONAL

INTRODUCCIN
La lgica estudia la forma de razonamiento. Es una discipli-
na que se utiliza para determinar si un argumento es vlido,
tiene aplicacin en todos los campos del saber; en la filoso-
fa, para determinar si un razonamiento es vlido o no, ya
que una frase puede tener diferentes interpretaciones; sin
embargo la lgica permite saber el significado correcto. Los
matemticos usan la lgica, para demostrar teoremas e infe-
rir resultados que puedan ser aplicados en investigaciones .
En la computacin, para revisar programas y crear sus
algoritmos, es utilizada en el diseo de computadoras. Exis-
ten circuitos integrados que realizan operaciones lgicas con
los bits, gracias a estos se ha desarrollado las telecomunica-
ciones (telefona mvil, internet, ...)
ENUNCIADO: Es cualquier frase u oracin que expresa
una idea.
PROPOSICIN: Son oraciones aseverativas que se pue-
den calificar como verdaderas o falsas. Se representan con
las letras minsculas del abecedario: p ; q ; r ; s.
Ejemplo:
* Tpac Amaru muri decapitado.
* 9 < 10
* 45 = 3 2
ENUNCIADO ABIERTO: Son enunciados que pueden
tomar cualquiera de los 2 valores de verdad.
Ejemplo:
Si : 6 x : ) x ( P >
Se cumple que:
6 9 : ) 9 ( P > es verdadero
6 2 : ) 2 ( P > es falso
El valor de verdad de P(x) depende del valor de x, tambin,
se le conoce como funcin proposicional.
CLASES DE PROPOSICIONES:
1. Proposicin Simple: Son proposiciones que no
tienen conjunciones gramaticales ni adverbio de
negacin.
Ejemplo:
* Cincuenta es mltiplo de diez.
2. Proposicin Compuesta: Formada por dos o ms
proposiciones simples unidas por conectivos lgicos o
por el adverbio de negacin.
Ejemplo:
* 29 es un nmero primo y 5 es impar.
CONECTIVOS LGICOS: Smbolos que enlazan dos o
ms proposiciones simples para formar una proposicin
compuesta.
Los conectores lgicos que usaremos son :
SMBOLO
OPERACIN
LGICA
SIGNIFICADO
~ Negacin No p
Conjuncin p y q

Disyuncin p o q
Condicional Si p, entonces q

Bicondicional p si y slo si q

Disyuncin
Exclusiva
"o ........ o ........"
OBS: La negacin es un conector mondico, afecta sola-
mente a una proposicin.
OPERACIONES LGICAS Y TABLAS DE VERDAD
La validez de una proposicin compuesta depende de los
valores de verdad de las proposiciones simples que la com-
ponen y se determina mediante una tabla de verdad.
1. Conjuncin: Vincula dos proposiciones mediante el
conectivo lgico "y".
Tabla de Verdad
F F F
F V F
F F V
V V V
q p q p Aritmtica
2. Disyuncin: Vincula dos proposiciones mediante el
conectivo lgico "o".
Tabla de Verdad
F F F
V V F
V F V
V V V
q p q p
3. Disyuncin Exclusiva: Vincula dos proposiciones
mediante el conectivo lgico: "o ..........., o ............."
Tabla de Verdad
F F F
V V F
V F V
F V V
q p q p
4. Condicional: Vincula dos proposiciones mediante el
conectivo lgico :
"Si ............, entonces .............."
Tabla de Verdad
F F F
V V F
F F V
V V V
q p q p
V
5. Bicondicional: Vincula dos proposiciones mediante
el conectivo lgico:
".............. si y slo si .............."
Tabla de Verdad
V F F
F V F
F F V
V V V
q p q p
6. Negacin: Afecta a una sola proposicin. Es un
operador mondico que cambia el valor de verdad de
una proposicin:
Tabla de Verdad
V
F
p ~
F
V
p
OBSERVACIN: La cantidad de filas en una tabla es:
# filas = 2
n
Donde n es la cantidad de proposiciones simples.
IMPORTANTE:
* Cuando los valores del operador principal son todos
verdaderos se dice que el esquema molecular es
tautolgico.
* Se dir que el esquema molecular es contradictorio
si los valores del operador principal son todos falsos.
* Si los valores del operador principal tiene por lo menos
una verdad y una falsedad se dice que es contingente
o consistente.
LEYES DE LGEBRA PROPOSICIONAL
Son equivalencias lgicas que nos permiten reducir esque-
mas moleculares complejos y expresarlos en forma ms sen-
cilla. Las demostraciones de dichas leyes se hacen constru-
yendo la tabla de verdad en cada caso.
Principales Leyes:
a. Ley de Idempotencia:
p p p
p p p


b. Ley Conmutativa:
p q q p
p q q p


c. Ley Asociativa:
) r q ( p r ) q p (
) r q ( p r ) q p (


d. Ley Distributiva:
) r p ( ) q p ( ) r q ( p
) r p ( ) q p ( ) r q ( p


e. Ley de la Doble Negacin:
p ) p (~ ~
f. Leyes de Identidad:
F F p ; p V p
p F p ; V V p


g. Leyes del Complemento:
F p ~ p
V p ~ p


h. Ley del Condicional:
q p ~ q p
i. Ley de la Bicondicional:
) q p ( ~ q p
) q ~ p (~ ) q p ( q p
) p q ( ) q p ( q p



j. Ley de Absorcin:
q p ) q p (~ p
q p ) q p (~ p
p ) q p ( p
p ) q p ( p




k. Leyes de "De Morgan":
q ~ p ~ ) q p ( ~
q ~ p ~ ) q p ( ~


CUANTIFICADORES:
1. Cuantificador Universal: Sea l a funcin
proposicional
) x (
f sobre un conjunto A, el cuantificador
("para todo") indica que todos los valores del
conjunto A hacen que la funcin proposicional
) x (
f
sea verdadera.
se lee : "Para todo"
Ejemplo:
Sea : 5 2 x : f
3
) x (
> + donde N x
La proposicin cuantificada es :
5 2 x ; N x
3
> +
es falsa.
2. Cuantificador existencial: Sea
) x (
f una funcin
proposicional sobre un conjunto A el cuantificador
(existe algn) indica que para algn valor del conjunto
A, la funcin proposicional
) x (
f
es verdadera.
se lee : "Existe algn"
Ejemplo:
Sea
8 5 x : f
2
) x (
<
, donde :
+
Z x
, la proposicin:
8 5 x / Z x
2
<
+
es verdadera:
CIRCUITOS LGICOS
Un circuito conmutador puede estar solamente en dos esta-
dos estables : cerrado o abierto, as como una proposicin
puede ser verdadera o falsa, entonces podemos representar
una proposicin utilizando un circuito lgico:
1. Circuito Serie: Dos interruptores conectados en serie
representan una conjuncin.
p q q p > <
2. Circuito Paralelo: Dos interruptores conectados en
paralelo representan una disyuncin.
p
q
q p > <
LGICA BINARIA
La lgica binaria trata con variables que toman 2 valores
discretos y con operaciones que asumen significado lgico,
para este propsito es conveniente asignar los valores de 1
y 0.
PRINCIPALES COMPUERTAS LGICAS
* Compuerta AND de dos entradas.
p
q
q p
* Compuerta OR de dos entradas
p
q
q p
* Compuerta NOT
~p
p
* Compuerta NAND de dos entradas
p
q
q p
~ ( )
* Compuerta NOR de dos entradas
p
q
q p
~ ( )Aritmtica
EJERCICIOS PROPUESTOS
01. De los siguientes enunciados:
* Qu rico durazno.
* 7 + 15 > 50
* 25 y x
2 2
= +
Qu alternativa es correcta?
a) Una es proposicin.
b) Dos son enunciados abiertos.
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones.
e) Todas son proposiciones.
02. Cuntas de l as sigui entes expresiones son
proposiciones?
* Dios mo .... se muri!
* El calor es la energa en trnsito.
* Baila a menos que ests triste.
* Siempre que estudio, me siento feliz.
* El delfn es un cetceo, ya que es un mamfero ma-
rino.
a) 1 b) 2 c) 3
d) 4 e) 5
03. Dadas las siguientes expresiones:
* El tomo no se ve, pero existe.
* Los tigres no son paquidermos, tampoco las nu-
trias.
* Toma una decisin rpida.
* Hay 900 nmeros naturales que se representan con
tres cifras.
* La Matemtica es ciencia fctica.
* Es imposible que el ao no tenga 12 meses.
Cuntas no son proposiciones simples?
a) 0 b) 1 c) 2
d) 3 e) 4
04. Hall ar el valor de verdad de l as sigui entes
proposiciones:
) 11 2 7 ( ) 5 2 3 ( = = +
) 8 10 2 ( ) 3 1 4 ( = =
) 5 12 ( ) 10 7 3 ( > = +
|
.
|

\
|
= + |
.
|

\
|
=
2
3
2
1
1 2 1
2
a) VVFV b) VFVV c) VVVV
d) VVVF e) FVVV
05. Determinar el valor de verdad de cada una de la
siguientes proposiciones:
I. Si : 3 + 1 = 7, entonces : 4 + 4 = 8
II. No es verdad que :
2 + 2 = 5 si y solo si 4 + 4 = 10.
III. Madrid est en Espaa o Londres est en Francia.
a) VFV b) VVV c) VFF
d) FVF e) FFF
06. Si : r ) q ~ p ( ; es falsa, determinar los valores de
verdad de "p", "q" y "r".
a) VVF b) VFF c) VVV
d) VFV e) FFF
07. Simbolizar:
~p
q
~q
Si la proposicin que se obtiene es falsa.
Cules son los valores de p y q respectivamente?
a) VV b) VF c) FV
d) FF e) No se puede precisar
08. Si la proposi ci n: ) s r (~ ) q ~ p ( es fal sa,
deducir el valor de verdad de :
p ~ ) q ~ p (~
a) V b) F
c) V o F. d) No se puede determinar.
e) Es V si p es F.
09. Si la proposicin compuesta:
) t r ( ) q p (
Es falsa. Indicar las proposiciones que son verdaderas:
a) p ; r b) p ; q c) r ; t
d) q ; t e) p ; r ; t
10. Si "p" es una proposicin falsa, determina el valor de
verdad de la expresin:
) q p r ( )]} p q (~ r [ ) q p {(
a) Verdadero.
b) Falso.
c) Verdadero o falso.
d) Verdadero slo si q es verdadero.
e) Falso slo si r es falso.
11. Si la proposicin:
) r q ( ) q p (
es falsa, hallar el valor de verdad de las siguientes
frmulas:
I. ) q p ( ) r p ( ~
II. ) q r (~ ) q ~ p (
III. ) r ~ p ( )] r ~ q ( ) q p [(
a) VVF b) VFV c) VVV
d) VFF e) FVV
12. Los valores de verdad de las proposiciones "p" , "q" , "r"
y "s" son respectivamente V, F, F y V.
Obtener los valores de verdad de:
I. s ] r ) q p [(
II. ) p s ( r
III. ) s ~ r ( ) r p (
a) VFF b) FVV c) VVV
d) VVF e) FFF
13. Si la proposicin:
) s r ( p
Es falsa, cuntas de las siguientes proposiciones son
verdaderas?
I. p ~ ) t s (~
II. p r
III. r ~ t
IV. ) t s ( ) p r (
a) Ninguna b) Una c) Dos
d) Tres e) Cuatro
14. Si la proposicin compuesta:
] q) ~ r ( ) r ~ p [( ~
no es fal sa. Hal lar el val or de verdad de las
proposiciones r, p y q respectivamente.
a) FVV b) VVF c) VFV
d) FVF e) VFF
15. De la falsedad de la proposicin :
) s r (~ ) q ~ p ( se deduce que el valor de verdad
de los esquemas:
I. ) q (~ ) q ~ p (~
II. ] s ) r q [(~ ) q r (~
III. ] q ~ ) q p [( ) q p (
Son respectivamente :
a) VFV b) FFF c) VVV
d) VVF e) FFV
16. Sean las proposiciones:
*
1 x , R x : p
0
) x (
=
*
0 y / N y : q
2
) y (

*
) 3 z )( 3 z ( 9 z , R z : r
2 2
) z (
+ =
Indique el valor de verdad de:
q p , r p , q r
a) FFV b) FVV c) VFV
d) VVV e) FFF
17. Sea : U = {1 , 2 , 3}, el conjunto universal.
Hallar el valor de verdad de:
I.
1 y x / y , x
2
+ <
II.
12 y x / y , x
2 2
< +
III. 12 y x / y , x
2 2
< +
IV. 12 y x / y , x
2 2
< +
a) VFVF b) VVFF c) VVVF
d) VVVV e) VVFV
18. Si : U = {1 ; 2 ; 3 ; 4 ; 5}
Cul es el valor de verdad de l as sigui entes
proposiciones?
I.
4 x 3 x : U x <
II.
6 x 8 2 x : U x > < +
III.
2 1 - x 5 2 x : U x = = +
a) VVV b) FFV c) VFV
d) FVF e) FFF
19. Hal lar los valores de verdad de l as sigui entes
proposiciones:
I. x) 1 x , R x ( x) x , R x ( > + =
II. 1) - x 1 x , Z x ( x) x , R x (
2
+
III. 0) x , Q x ( 0) x , N x (
IV. x) 1 x , R x ( x) 3 x , N x (
a) FVVF b) FVVV c) VVFF
d) VFFF e) VVVF
20. Sea : A = {1 , 2 , 3}
Determinar el val or de verdad de las siguientes
expresiones:
I. 1 y x / A y , A x
2
+ <
II. 12 y x / A y , A x
2 2
< +
III.
2 2 2
z 2 y x A/ z , A y , A x < +
IV.
2 2 2
z 2 y x A/ z , A y , A x +
a) VFVV b) VVFV c) VVVF
d) FVVV e) VVVV
21. Sealar la expresin equivalente a la proposicin:
) p ~ q (~ ) p ~ p (
a) p q
b) q p
c) p ~ ) q p (
d) ) q p ( p ~
e) p ~ ) p q ( Aritmtica
22. Indicar el valor de verdad de:
I. ) q p ( p
II. ) q p ( ) q p (
III. ] p ) q p [( ~
a) VVV b) VFV c) VVF
d) FVF e) FVV
23. Indicar el valor de verdad de:
I. ] p ) q p [( ~
II. p ) q p (
III. ) q p ( ) q p (
IV. ) q p ( p
a) VFVF b) VVVF c) FVFV
d) VFFV e) FVVV
24. Simplificar el siguiente circuito:
~p
q
q
~p
~q
p
A B
a) q p b) q p ~ c) q p
d) q p ~ e) q ~ p ~
25. Hallar la proposicin equivalente al circuito lgico:
p
q
~q
~p
p q
a) p b) q ~ p c) q p
d) q p ~ e) q ~ p
26. Simplificar la proposicin que corresponde al circuito:
q
~p
p q
~q
p
a) q p b) q p ~ c) q p
d) q p ~ e) q ~ p ~
27. Simplificar a su mnima expresin:
)] q p ( ) q ~ p [( ) q p (
a) p b) q c) q p
d) q p e) q p
28. Simplificar:
) q p ( ~ )] p q (~ ) q p [(~ M =
a) q b) p c) ~p
d) ~q e) q p ~
29. Simplificar:
)] q ~ p ( q [ ] p ~ ) q p [(~ ~
a) q ~ p b) q p ~
c) ) q p ( ~ d) ) q p ( ~
e) q p
30. De la veracidad de:
)] s ~ r (~ ) q ~ p [( ~
Deducir el valor de verdad de :
I. p ~ ) s ~ q (~ ~
II. ) q ~ p (~ ) s r (~ ~
III. )] r s ( ~ q [ ~ p
a) FVV b) VVF c) FFV
d) VFF e) FFF
31. Indicar el valor de verdad de:
I. ) q p ( ) q ~ p (~
es una contradiccin.
II. ) r p ( )] r q ( ) q p [(
es una tautologa.
III. r) q ( )] q p ( p [
es una contingencia.
a) VVV b) VVF c) VFF
d) VFV e) FVV
32. De los siguientes esquemas:
* ) r p (~ ) r q (
* p )] q p ( p [
* )] q ~ p ( ~ r [ ~ ] r ~ ) q p [(~
Indicar en el orden dado cul es Tautologa (T),
Contingencia (S) o Contradiccin (C):
a) T , C , S b) T , S , C c) C , T , S
d) S , T , C e) S , C , T
33. Dado el siguiente enunciado:
] q )} r q ( ~ ) p ] q p ([ [{~ ~
Segn su tabla de verdad, podemos decir que dicha
proposicin es una:
a) Tautologa. b) Contradiccin.
c) Contingencia. d) Ley lgica.
e) Equivalencia lgica.
34. Si:
)] b a ( ~ b [ ) b a ( b * a
a ~ )]} b a ( b [ a { b a
Reducir :
q)} ~ (p * {q q)} * p (~ * r] q) * {[(p
a) ~p b) V c) F
d) p e) q
35. Si se define:
p) ~ (q q) ~ (p q p
Simplificar: ] q ~ q) ~ p [( ~
a) q p b) q p c) q p ~
d) ~p e) ~q
36. Se define el operador : (+), por la siguiente tabla:
V F F
F V F
V F V
V V V
q p q p +
Simplificar: (p + q) + p
a) F b) q p c) q q ~
d) q p e) V
37. Se definen los operadores # y

por las siguientes

tablas:
V F F
F V F
F F V
F V V
q # p q p

V F F
V V F
V F V
F V V
q p q p
Simplificar:
p) ~ q ( ] p ) q ~ # p [(
a) p q b) p q c) q p
d) q p e) p ~ q
38. Se definen los operadores "

" y "

" por las siguientes

tablas:
V F F F
V F V F
F V F V
V F V V
q p q p q p
Cul o cules de las siguientes proposiciones son
verdaderas?
I. ) q ~ p ( ~ q ~ p
II. q p q) p ( ) q p ( ~
III. ) q p ~ ( ~ q p ~
a) Slo I b) Slo II c) I y II
d) I y III e) Todas
39. Si: q ~ p q p
p ~ ) q p ( q ~ # p
Simplificar:
)] q p ( )# q p ( ) q p [(
a) q p ~ b) p c) ~q
d) q ~ p ~ e) ~p
40. Si: q ~ p ~ q * p =
Expresar ~p usando nicamente el operador (*)
a) (p * p) * p
b) (p * ~p) * p
c) ~(p * q)
d) p * q
e) p * (q * q)
41. La proposicin equivalente ms simple del siguiente
circuito:
N M
p
q
~p
~q
p
q
~q
~p
r
r
t
Es:
a) p b) q c) r
d) p e) ~q
42. El circuito lgico:
A
B
~p
~p
p ~q
~q
q
r s t
r
t
s
r
t
s
r s t
Es equivalente a:
a) p b) q c) ~p
d) ~q e) q p Aritmtica
43. El circuito lgico ms simple equivalente al siguiente
circuito:
q
~p ~q
p q
r
s t
p
q
~p
~q
p
s t
~p
~q
~r
A
B
a)
A B
p q
b)
A B
q
c)
A B
s
d)
A B
t
e)
A B
t s
44. Si:
)] t ~ p ( ) t p [( )] r p ( ) q p [( A
B
q ~q
~p q
~q
q
El circuito simplificado de
B A
es:
a)
~p
~q ~r
b)
~q ~r
p
c)
~p
q r
d)
r
~q
p
e)
~r
p q
45. Si la proposicin y x es equivalente al circuito:
p
q ~r
~q
r
q ~p
~q r
p q
~r
~s
~t
p q
r s t
Simplificar el siguiente circuito:
p
y
x
y
x
q
q
p
y
x
y
x
q
q
p
y
x
y
x
q
q
p
p
q
q
y
x
y
x
q
a) q p
b) t s r q p
c)
s r
d)
t s
e) t s r q p
46. Sabiendo que la instalacin de cada llave cuesta S/. 20.
Cunto se ahorrara si hacemos una instalacin mnima;
pero equivalente a:
p
~p r
~r
~p r
~q p
p q
a) 80 b) 100 c) 140
d) 160 e) 180
47. Para una proposicin cualquiera, "p" se define:

=
Falso es p si 0
Verdadero es p si 1
F
) p (
Si:
1 F
) m (
= donde s ) r p ( m =
0 F
) n (
= donde ) p r ( p n =
Halle:
) p (~ F ) s p ( F ) s r ( F ) r p ( F + + +
a) 1 b) 2 c) 3
d) 4 e) 0
48. La siguiente funcin:

=
falsa es p Si ; 0
verdadera es p Si ; 1
F
) p (
Si : 0 F 1 F
(y) ) x (
= =
Donde :
) w s ( ) r ~ p ( x
s ~ w y
Hallar:
+ = )] r p (~ ) w ~ s [( F E
))] p ~ w ( t ( ) p ~ r (~ [~ F
a) 0 b) 1
c) 2 d) No se puede determinar
e) Tautologa
49. Sean las proposiciones:
p: Si
+
Z N , entonces:
MCD (N ; 1 N
2
+ ) =1
q: El conjunto vaco es subconjunto y elemento.
r: MCD 7 7) ; 0 ab (
7
=
s: MCM (a ; b) =
b a
MCD (a ; b) = 1
Adems sean las proposiciones x e y:
y x P
) y ; x (

y x Q
) y ; x (

=
falso es x si ; 0
o verdader es x si ; 1
F
) x (
Calcule:
) P ( F ) Q ( F ) P ( F F
) s ; r ( ) r ; q ( ) q ; p (
+ + =
a) 0 b) 1 c) 2
d) 3 e) 4
50. Sea la funcin:
f :{p/p es proposicin} {0 , 1} definido
por

=
falso es p si , 0
verdadero es p si , 1
f
) p (
Indicar si es verdad la siguiente igualdad:
) q ( f 1 ) q p ( f =
) p (~ f
a) Verdadero
b) Falso
c) Depende de q
d) Es contradictorio
e) Es un enunciado abierto
51. Si m y n son nmeros reales, adems se define:

+
=
falsa n proposici es x Si ; 1
m
3n
verdadera n proposici es x Si ; 1
n
m 3
f
) x (
Hallar:
m
n
n
m
M + =
Sabiendo que: 21 f f
) r ( ) q (
= +
Siendo:
0 1 3 4 : q = <
0 ) 1 ( 0 1 : r
2
< <
a)
3
1
b) 3 c)
7
1
d) 1 e) 3
52. Sean r, s, t,
i
p
,
i
q
donde i = 1 ; 2 ; ..... ; n
proposiciones tales que t p es falsa para todo i = 1 ;
2 ; ......... ; n
n 3 2 1
p .... p p p s
es verdadera.
) t p ( .... ) t p ( ) t p ( r
n 2 1

t p q
i i

es falso para i par y es verdadera para i
impar.
Hallar el valor de verdad de:
t)} (p ) q (q ~ { } p q ( ) t p {(
3 2 1 ) 1 2 5

a) Verdadero.
b) Falso.
c) Faltan datos.
d) No se puede determinar.
e) Depende del valor de verdad de r.
53. Sea "S" una proposicin que corresponde a la siguiente
tabla:
F F F
V V F
V F V
F V V
s q p
Y "r" la proposicin ms simplificada, equivalente a:
q ~ ] q ~ ) q p [(
Cul es el circuito ms sencillo, equivalente al que
resulta de conectar en paral el o los ci rcui tos
correspondientes a "~r" y a "s"?Aritmtica
a)
p
~q
b) p q
c)
p
q
d) q ~p
e) ~q ~p
54. El equivalente de:
p
q
a) p b) ~p c) q
d) ~q e) q p
55. Dado el siguiente circuito:
p
q
s
Si s es falsa.
Cul es son l os val ores de verdad de p y q
respectivamente?
a) VV b) VF c) FV
d) FF e) Faltan datos
56. Los profesores de Aritmtica de la academia TRILCE
han diseado un circuito integrado que recibe p y q
como entradas y s como salida.
s
p
q
a) p b) q c) V
d) F e) q p
57. Disee el circuito que cumple con la siguiente tabla:
1 1 1 1
0 0 1 1
0 1 0 1
0 0 0 1
0 1 1 0
0 0 1 0
0 1 0 0
1 0 0 0
F z y x
Utilice compuertas lgicas:
a)
x
y
z
F
b)
x
y
z
F
c)
x
y
z
F
d)
x
y
z
F
e) x
F
58. Expresar la operacin lgica F; segn la tabla:
0 1 1 1
0 0 1 1
1 1 0 1
0 0 0 1
0 1 1 0
0 0 1 0
1 1 0 0
0 0 0 0
F z y x
a) xyz z y x + b) (x + y)z
c) x + y + z d) z y x z y x +
e) xyz
59. Dada la siguiente tabla:
1 1 1 1
1 0 1 1
1 1 0 1
1 0 0 1
0 1 1 0
0 0 1 0
1 1 0 0
0 0 0 0
F z y x
Disear el circuito:
F
x
y
z
que cumple con dicha tabla utilizando las compuertas:
INVERSOR, AND, OR.
a)
x
y
z
F
b)
x
y
z
F
c)
x
y
z
F
d)
x
y
z
F
e)
x
y
F
60. El circuito lgico permite detectar el estado de 3 aviones
A, B, C de tal manera que la lmpara de alarma en la
base se enci ende cuando l os tres aviones estn
averiados o cuando slo el avin A est averiado.
Expresar F en funcin de las entradas A, B y C:
Avin sin averas: 0
Avin con averas: 1
Lmpara apagada: 0
Lmpara encendida: 1
A
B
C
F
Circuito
Lgico BASE
Lmpara
de alarma
A B C
a) BC) C B ( A F + =
b) F = A + BC
c) F = ABC
d) F = A (B + C)
e) C B A F =
EL VAGO DE COZ
"En la antigua ciudad de Coz, de la que ya no queda un solo recuerdo, gobernaba un adivino muy astuto. Toda la poblacin
trabajaba salvo l, grandsimo vago, que ejerca de enlace psicoastral. Cada da obligaba a algn desdichado ciudadano a
competir contra l en un extrao concurso. El aspirante deba formular al adivino una pregunta acerca de algn suceso
futuro cuya respuesta deba ser simplemente "s" o "no". En caso de que el vago acertase la respuesta, el desafortunado
concursante se converta en su esclavo y era obligado a trabajar para l de por vida. Si el adivino errase la respuesta, ste
sera depuesto, convertido en asno y condenado a rebuznar durante mil aos. Por desgracia para los pobladores de Coz,
el vago posea una esfera de cristal, que funcionaba mediante la magia capaz de anticipar el futuro con toda certeza. Si usted
fuera el prximo rival del malvado vago. Qu pregunta le hara?".Aritmtica
Cl aves
Cl aves
01.
02.
03.
04.
05.
06.
07.
08.
09.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.
a
b
e
d
a
b
b
b
b
b
c
d
d
a
b
b
e
c
d
e
c
c
e
d
d
c
d
d
c
e
31.
32.
33.
34.
35.
36.
37.
38.
39.
40.
41.
42.
43.
44.
45.
46.
47.
48.
49.
50.
51.
52.
53.
54.
55.
56.
57.
58.
59.
60.
a
d
b
c
a
e
a
e
a
b
c
c
e
a
b
d
c
c
c
b
e
a
c
b
b
e
a
d
c
a