1. INTRODUCCION A LA INFORMATICA
TEMA A16
ACTIVIDAD OBLIGATORIA N°1
1) La RAM (Memoria de Acceso Aleatorio) es un sistema de almacenamiento
tanto para las instrucciones de los programas como para los datos que
estos manejan durante su ejecución.
Entre sus caracteristicas podemos mencionar:
Se divide en celdas, cada una de las cuales tiene una
dirección única y estan formadas, habitualmente, por 4 bytes;
cada bytes esta formado a su vez por 8 bits y cada bits
representa un único valor binario.
La memoria RAM se mide por el número de bits que contiene.
Es un dispositivo de almacenamiento volátil, es decir que los
datos almacenados en un dispositivo se perderán cuando este
se apague.
2) Dos proposiciones (p y q) son equivalentes cuando se verifica que p => q y
q => p. Se anota p <=> q que es por definicion (p => q) ˄ (q => p).
Cuando se tiene p => q, se dice que p es condición suficiente para q,
o bien que se cumple q si se cumple p.
Tambien se dice que q es condición necesaria para p, o bien que se
cumple p sólo si se cumple q.
Luego para la equivalencia p <=> q se tiene:
a) p es condición necesaria y suficiente para q.
b) Se cumple q si y sólo si se cumple p.
Tabla de verdad de la equivalencia
p q p => q q => p (p => q) ˄ (q => p)
V V V V V
V F F V F
F V V F F
F F V V V
Concluimos por medio de la tabla de verdad que la equivalencia de p y q es
verdadera cuando ambas son verdaderas y falsa el resto de los casos.
2. Ejemplos:
p : es un insecto.
q : es un animal que tiene seis patas.
p => q : Es un insecto, entonces es un animal que tiene seis patas.
q => p : Es un animal que tiene seis patas, entonces es un insecto.
p <=> q : Es un insecto si y sólo si es un animal que tiene seis patas.
3) Una TAUTOLOGÍA o verdad lógica, es una fórmula que solo tiene
ejemplos de sustitución verdaderos.
Ejemplo con verificacion en tabla de verdad:
Gastón aprueba la actividad obligatoria o no la aprueba.
p : Gastón aprueba la actividad obligatoria.
q : Gastón no aprueba la actividad obligatoria.
p ˅ ¬p
Tabla de verdad:
p ¬p p ˅ ¬p
V F V
F V V
4) Las LEYES de DE MORGAN son tautologías que formulan las relaciones
entre la conjunción, la disyunción y la negación.
1°) La primera nos dice que la negación de una disyunción es
equivalente a la conjunción de las negaciones.
¬( p ˅ q) <=> ( ¬p ˄ ¬q )
2°) La segunda nos dice que la negación de una conjunción es
equivalente a la disyunción de las negaciones.
¬( p ˄ q ) <=> ( ¬p ˅ ¬q )
Verificación mediante tabla de verdad de las Leyes de De Morgan:
3. 1°) ¬( p ˅ q ) <=> ( ¬p ˄ ¬q )
p q p ˅ q ¬ (p ˅ q) ¬p ¬q (¬p ˄ ¬q) ¬ (p ˅ q) <=> (¬p ˄ ¬q)
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V
2°) ¬( p ˄ q ) <=> ( ¬p ˅ ¬q )
p q p ˄ q ¬(p ˄ q) ¬p ¬q (¬p ˅ ¬q) ¬(p ˄ q) <=> (¬p ˅ ¬q)
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
5) Tabla de verdad de : ¬( p ˄ q ) <=> ((p) (q))
p q p ˄ q ¬(p ˄ q) ¬p ¬q (¬p ˅ ¬q) ¬(p ˄ q) <=> (¬p ˅ ¬q)
V V V F F F F V
V F F V F V V V
F V F V V F V V
F F F V V V V V
6) “Todos los alumnos de la Facultad de Ciencias de la Administración
estudian Ingeniería de Sistemas”.
x : Los Alumnos
P(x) : Facultad de Ciencias de la Administración
Q(x) : Estudian Ingeniería de Sistemas.
x : P(x) => Q(x)
La Negacion:
x : Los Alumnos
P(x) : Facultad de Ciencias de la Administración
Q(x) : Estudian Ingeniería de Sistemas.
x | P(x) => ¬Q(x)
4. 7) Pseudocódigo:
Variables en 0
Aprobados = 0
Reprobados = 0
Con 7 = 0
Inicio Procedimiento
Carga de Nota
Si Nota > 0 entonces:
Si Nota > 4 entonces:
Si Nota = 7 entonces:
Con 7 = +1
Sino:
Aprobados = +1
Sino:
Reprobados = +1
Sino:
Mensaje de Error: “Nota mal cargada...Por Favor cargue de nuevo”
Mostrar Variables:
Aprobados
Reprobados
Con 7
Fin de procedimiento
5. Diagrama de Flujo:
VERDADERO
Inicio
NOTA
Aprobados 0
Reprobados 0
Con 7 0
Co
NOTA > 0
NOTA > 4
NOTA = 7
MSJ DE
ERROR
Aprobados +1
Reprobados +1
Con 7 +1
Aprobados
Reprobados
Con 7
Con 7
FIN
FALSO
FALSO
FALSO