Prctico 2 APLICACIONES Lgica para Informtica

Prof. Juan Cabral

E
s
c
u
e
l
a

T

c
n
i
c
a

d
e

M
a
l
d
o
n
a
d
o


C
u
r
s
o
s


1

E
M
T

I
n
f
o
r
m

t
i
c
a

1

E
M
P


R
e
p
a
r
a
d
o
r

P
C






Estructura de control: Si.entonces








(Extrado de Matemtica discreta y combinatoria ej. 2.3 pg. 55 de Ralph Grimaldi el libro se encuentra para
consulta en biblioteca)

En pseudocdigo:
Si expresion_logica Entonces
acciones_por_verdadero si p entonces A
FinSi (A no es necesariamente proposicin)

En pseudocdigo:
Si expresion_logica Entonces
acciones_por_verdadero
Sino si p entonces A, B
acciones_por_falso (A y B no son necesariamente
FinSi proposiciones)


Caso 2:
Caso 1:

Prctico 2 APLICACIONES Lgica para Informtica
Prof. Juan Cabral



E
s
c
u
e
l
a

T

c
n
i
c
a

d
e

M
a
l
d
o
n
a
d
o


C
u
r
s
o
s


1

E
M
T

I
n
f
o
r
m

t
i
c
a

1

E
M
P


R
e
p
a
r
a
d
o
r

P
C






Operadores en lenguaje C:




1) En cierto programa en lenguaje C la variable entera n recibe
el valor de 7. Determina el valor de n despus de encontrar
cada uno de los siguientes enunciados sucesivos durante la
ejecucin de un programa. (En este caso el valor de n despus
de la ejecucin del enunciado de la parte (a) se convierte en
el valor de n para el enunciado de la parte (b) y as
sucesivamente. El operador binario mdulo '%', devuelve el
resto de la divisin entera del primer operando entre el
segundo.Por ejemplo:8%6 da 2; 5%6 da 5; 16%4 es 0; 19%3 es 1.

a) if (!(n<5)) n=n+2;
b) if ((n+2==8) or (n-3==6)) n=2*n+1;
c) if ((n-3==16)and(n % 6 ==1)) n=n+3;
d) if ((n != 21) && (n-7==15)) n=n-4;
e) if (!(n % 5==2)|| (n+1==20)) n=n+1;
f) if ((n % 5==2)|| (n+1==20)) n=n+1;

(Copia el cdigo anterior y agregando las lneas
necesarias para compilarlo en ZinjaI o Dev-C++ a ver si
el valor final de n es el mismo que el tuyo)

2) dem al anterior pero con m=3 y n=8.

a) if (n-m==5) n=n-2;
b) if((2*m == n) && (n % 4 ==1 )) n=4*m-3;
c) if(!(n<8)or(!(m !=2))) n= 2*m;
else m= 2*n;
d) if ((m < 20) and (n % 6==1)) m=m-n-5;
e) if ((n==2*m) || (n % 2==5)) m=m+2;
else m=0;
f) if ((n % 3 == 3) and (!(m % 3 ==1))) m=n;
else m=n+1;
g) if ((n*m !=35)^(n==12)) n=3*m+7;

3) En los dos ejercicios anteriores traduce las implicaciones a
lenguaje lgico sustituyendo los enunciados del antecedente
por p y q y el del consecuente por R.
Por ejemplo: if(!(n<8)or(!(m !=2))) n= 2*m;
Sera: (pq) R donde p: n<8 q: m2 R:n= 2.m (Aclaracin:
R no es una proposicin)

4) Un bit tiene dos posibles valores: 1 0. La palabra bit
proviene de la expresin inglesa binary digit, ya que en
las representaciones binarias los dgitos usados son 1 0
(es decir, slo dos dgitos). Anlogamente, una variable
booleana, una proposicin, tiene dos valores de verdad
Diagrama de flujo del
ejercicio 1


Operadores relacionales
== Igual a
!= No igual a
> Mayor que
< Menor que
>= Mayor o igual que
<= Menor o igual que

Operadores lgicos

! Not (no lgico negacin)
&& And ( y lgico - conjuncin)
|| Or ( o lgico- disyuncin)
^ Xor (disyuncin exclusiva)

Prctico 2 APLICACIONES Lgica para Informtica
Prof. Juan Cabral



E
s
c
u
e
l
a

T

c
n
i
c
a

d
e

M
a
l
d
o
n
a
d
o


C
u
r
s
o
s


1

E
M
T

I
n
f
o
r
m

t
i
c
a

1

E
M
P


R
e
p
a
r
a
d
o
r

P
C






posibles: Verdadero (V) Falso (F). De modo que una variable
booleana se puede representar mediante un bit.
En un computador, las operaciones con bits se corresponden con los
conectivos lgicos. Por ejemplo, los conectivos lgicos ., v, v
son las operaciones AND, OR, XOR. Las operaciones estn bien
definidas para cadenas de bits de la misma longitud, que
usualmente, se separan de a cuatro para leerlas mejor.
Sean las cadenas de bits 0100 1010 1110 y 1101 1010 0010 aplicando
las operaciones con bits AND, OR y XOR nos resulta:

0100 1010 1110 0100 1010 1110 0100 1010 1110
AND 1101 1010 0010 OR 1101 1010 0010 XOR 1101 1010 0010
0100 1010 0010 1101 1010 1110 1001 0000 1100

Realiza las siguientes operaciones:
a) 1100 1110 1010 AND 0100 1010 0110
b) 1110 0001 1010 OR 1001 1011 0010
c) 0011 0111 1111 XOR 0100 1001 0100
d) 1101 0001 1010 NAND 0110 1011 0010
e) 1100 1110 1010 NOR 0100 1010 0110
5) En criptografa, el cifrado XOR es, como su nombre indica, un
algoritmo de cifrado simple, basado en los siguientes
conceptos:
A 0 = A, A A = 0, (B A) A = B 0 = B,
Dnde es una operacin XOR (OR exclusivo). Una cadena de texto
puede ser cifrada aplicando el operador de bit XOR sobre cada uno
de los caracteres utilizando una clave. Para descifrar la salida,
solo hay que volver a aplicar el operador XOR con la misma clave.
Por ejemplo, la cadena "Wiki" (01010111 01101001 01101011 01101001
en 8-bit ASCII) puede ser cifrada con la clave 11110011 de la
siguiente manera:

01010111 01101001 01101011 01101001
11110011 11110011 11110011 11110011

10100100 10011010 10011000 10011010
Y viceversa para descifrarlo:

10100100 10011010 10011000 10011010
11110011 11110011 11110011 11110011

01010111 01101001 01101011 01101001
El operador XOR es muy comn como parte de cifrados ms complejos.
Sin embargo, por s solo el cifrado XOR es muy vulnerable y es muy
fcil obtener la clave a travs del anlisis de varios mensajes
cifrados con la misma clave. (Extrado de Wikipedia)
a) Cifra de acuerdo al cifrado XOR clave 0110 1000 la frase:
Fuerza la celeste!
b) Descifra el siguiente mensaje con clave 0100 1110:
0001 1101 0010 0111 0110 1110 0010 1011 0011 1101 0011 1010 0011 1011 0010 1010
0010 0111 0010 0001 0110 1110 0011 0100 0010 1111 0010 1000 0010 0001
Prctico 2 APLICACIONES Lgica para Informtica
Prof. Juan Cabral



E
s
c
u
e
l
a

T

c
n
i
c
a

d
e

M
a
l
d
o
n
a
d
o


C
u
r
s
o
s


1

E
M
T

I
n
f
o
r
m

t
i
c
a

1

E
M
P


R
e
p
a
r
a
d
o
r

P
C







6) Analoga entre el lgebra de conjuntos y el lgebra de proposiciones:

lgebra de Proposiciones. lgebra de Conjuntos.
Leyes de
idempotencia
p p p v
p p p .
Leyes de
idempotencia
A A A =
A A A =
Leyes
asociativas
( ) ( ) r q p r q p v v v v
( ) ( ) r q p r q p . . . .
Leyes
asociativas
( ) ( ) C B A C B A =
( ) ( ) C B A C B A =
Leyes
conmutativas
p q q p v v
p q q p . .
Leyes
conmutativas
A B B A =
A B B A =
Leyes
distributivas
( ) ( ) ( ) r p q p r q p . v . v .
( ) ( ) ( ) r p q p r q p v . v . v
Leyes
distributivas
( ) ( ) ( ) C A B A C B A =
( ) ( ) ( ) C A B A C B A =
Leyes de
identidad
A A = C A U A =
U U A = C = C A
Ley de
complemento
( ) p p Leyes de
complemento
A A U = A A = C
( )
_____
A A = U = C U C =
Leyes de De
Morgan
( ) q p q p v .
( ) q p q p . v
Leyes de De
Morgan
( )
___________
A B A B =
( )
___________
A B A B =

a) Verifica las propiedades del lgebra de conjuntos utilizando
tablas de pertenencia.






TABLA DE PERTENECIA
(Extrado de Matemtica discreta y combinatoria pg. 164 de Ralph Grimaldi
el libro se encuentra para consulta en biblioteca)

Regiones en el universo para 2
conjuntos:






Corresponde a las 4 regiones que
quedan determinadas en la tabla:

x A x B
Regin
0 0 (1)
0 1 (2)
1 0 (3)
1 1 (4)

b) Hace el diagrama para tres
conjuntos.

A B

(3) (4) (2)

(1)


U