Professional Documents
Culture Documents
TP2 Discreta - 2012
TP2 Discreta - 2012
Curso:
Año: 2012
Cuatrimestre: 1y2
__/__/__
Identificación de enunciados:
z:”tiene un 0”
Hipotesis armadas:
1) [(pq)r](st) [ Hipotesis]
2)(pz)w [ Hipotesis]
3)(ps)r [ Hipotesis]
4)zs [ Hipotesis]
Supuestos:
1) [(pq)r](st)
V r(st) valor de verdad de la implicancia verdadero
V r( VV) valor de verdad de s,v son verdaderas.
r( VV) por Identidad
r V por Idempotencia
V consecuente siempre verdadero
2)(pz)w
Vzw valor de verdad de p verdadero
zw por Identidad
3)(ps)r
VVr valor de verdad de p,s son verdaderas
Vr por Idempotencia
r antencedente verdadero por lo cual la implcancia depende del valor de r
Nos queda:
1) V [ Hipotesis]
2) zw [ Hipotesis]
3) r [ Hipotesis]
4) zs [ Hipotesis]
Si la clave empieza con ‘r’, termina con ‘s’ y posee un valor numérico, entonces
la clave tiene longitud 5 o posee 1 vocal.
Si la clave empieza con ‘r’ y tiene un 0, entonces la clave tiene caracteres
especiales.
Si la clave empieza con ‘r’ y termina con ‘s’, entonces la clave posee un valor
numérico.
H1): Si la clave comienza con un 2 o el carácter ‘A’ se repite entonces la clave es ‘2AAA7M’
H2): Si la clave termina con ‘M’ y la longitud es igual a 5 entonces la clave es ‘3BB7M’
H3): Si la clave tiene longitud igual a 6 y el ante ultimo carácter es ‘7’ entonces la clave
comienza con un 2.
H4): Si la clave termina con ‘7M’ y comienza con un 2, o tiene longitud igual a 5 entonces el
carácter ‘A’ se repite.
Segunda Parte:
Reordenar nuestros archivos.
Hay algunos archivos del sistema importantes que deberíamos ordenar en sus
respectivas carpetas del sistema. Encontramos creadas las carpetas, pero sin
ningún archivo dentro. Sabemos por los viejos manuales que estás máquinas no
permitían el duplicado de información, ya que fueron concebidas para mantener
informaciones óptimas, por lo que cada archivo debería estar únicamente
en su carpeta.
Por suerte encontramos los archivos en un disco de backup, pero todos ellos
están sueltos y por si solos no tienen ninguna funcionalidad. Sabemos de estos
archivos que contienen un nombre y que este nombre posee unos dígitos
verificadores cuyo uso todavía no hemos descifrado. Este dígito se anota luego
del nombre, seguido por un guión. Las carpetas que contendrán estos archivos
siguen exactamente la misma lógica que los archivos que contienen.
El criterio para ordenar los archivos es uno sólo, y según pudimos verificar con
las notas existentes, es uno de estos cuatro posibles.
Posibles criterios:
C1) Dos archivos van en la misma carpeta si tienen la misma longitud o la
diferencia de sus dígitos verificadores es menor a 100.
C4) Dos archivos van en la misma carpeta si sus nombres tienen una letra
común en la misma posición.
1) Las carpetas que contendrán estos archivos siguen exactamente la misma lógica que los
archivos que contienen.