Trabajo Práctico N°1: Lógica simbólica

Alumno: Facundo Jannello

Profesor titular: Horacio José Caballero

Universidad Siglo 21

2023
Antes de comenzar con la resolución de las consignas del punto 2, me parece
necesario redactar cómo determiné las funciones temporizadoras  ƒ11(a), ƒ11(b) y
ƒ11(c).

Para ello, tuve que utilizar los primeros cuatro dígitos de mi dni, para darle
valores a las constantes a, b, c, d. En mi caso quedaron:

a=4
b= 1
c=3
d=9

La constante “d” no tiene uso en este trabajo práctico de todas formas.

Unas vez inicializadas las constantes, formé las funciones temporizadoras de
interés, puesto que determinan el comportamiento que las llaves del circuito
van a seguir.

Por lo tanto las funciones temporizadoras quedarían:

FT1:  ƒ11(4) (t) = ¿

 FT2: ƒ11(3) (t) = ¿

 FT3: ƒ11(1) (t) = ¿

Teniendo en cuenta esto, puedo afirmar que la llave 1 seguirá el

comportamiento de la función temporizadora 1 (FT1), lo cual implica que
cuando se cumpla la proposición de la función temporizadora, la llave estará
abierta (cuando sea verdad). Lo mismo para las otras dos llaves.

De todas formas, para continuar con el punto 2-a, hay que obviar las funciones
temporizadoras. Como menciona el enunciado, tenemos 3 llaves. Voy a
representar las siguientes proposiciones de esta forma:

LL1 = La llave 1 esta abierta

LL2 = La llave 2 esta abierta
LL3 = la llave 3 esta abierta

La llave 1 es una llave de paso normal mientras que las llaves 2 y 3 son llaves
de paso inversoras. Esto quiere decir que cuando LL1, deja pasar el agua y
cuando ~LL1, no deja pasar el agua. Las otras dos al ser inversoras, dejan
pasar el agua cuando están cerradas y no dejan pasarla cuando están abiertas.

Podemos decir entonces que para que el agua llegue al tanque, debería estar
abierta la llave 1 o estar cerrada la llave 2, y además, estar cerrada la llave 3,
ya que el agua puede salir del tanque 1 o del tanque 2, pero si o si tiene que
pasar por donde está la llave 3.

Es por esto que puedo afirmar que una proposición que cumple con la llegada
de agua al tanque sería:

(LL1 ˅ ~LL2) ∧ ~LL3

Armo la tabla de verdad:

LL1 LL2 LL3 ~LL2 ~LL3 (LL1 ˅ ~LL2) ∧ ~LL3

V F F V V V
V V F F V V
V F V V F F
F V F F V F
F V V F F F
F F V V F F
F F F V V V

Al ser las opuestas de llaves inversoras, tiene sentido que coincidan con LL1.

Considerando los valores de FT1, FT2, y FT3, puedo ver en qué momento cada
llave está abierta.

Considerando que debo dividir cada t en base 11 entre t = 0 y t = 121, serán

pocos valores que cumplan esta condición. Sabiendo que el resto de la división
entera tiene que ser congruente a 4 para la llave 1, siempre cumplirán estos
valores los múltiplos de 11 entre 0 y 121, sumándole 4:

Múltiplos de 11 : {11, 22, 33, 44, 55, 66, 77, 88, 99, 110, 121 }

Por ejemplo, evalúo que se cumpla para el primer valor (11 + 4 = 15):
FT1:  ƒ11(4) (15) , ¿es congruente a 4?

Sí, ya que 15 mod 11 = 4. Se puede comprobar haciendo el algoritmo de

división. La forma que definirá estos valores será entonces

x1 = 11 * n + 4 (siendo x1 y n enteros positivos, n < 12).

15 = 11 * 1 + 4
26 = 11 * 2 + 4
37 = 11 * 3 + 4
48 = 11 * 4 + 4
59 = 11 * 5 + 4
70 = 11 * 6 + 4
81 = 11 * 7 + 4
92 = 11 * 8 + 4
103 = 11 * 9 + 4
114 = 11 * 10 + 4
125 = 11 * 11 + 4 (ESTE VALOR SALE DEL RANGO, no es considerado).

Los números en verde, serán los valores de t para los cuales la función
temporizadora FT1 será verdadera, es decir, para los cuales la llave LL1 estará
abierta.

Como las FT2 y FT3 tienen el mismo subíndice (11) pero con distinto valor de
congruencia, el cálculo de los valores será igual.

x2 = 11 * n + 3 (siendo x y n enteros positivos, n < 12).

x3 = 11 * n + 1 (siendo x y n enteros positivos, n < 12).

Hallo de esta forma todos los valores de x2, que serán los valores para los
cuales se cumple LL2:

14 = 11 * 1 + 3
25 = 11 * 2 + 3
36 = 11 * 3 + 3
47 = 11 * 4 + 3
58 = 11 * 5 + 3
69 = 11 * 6 + 3
80 = 11 * 7 + 3
91 = 11 * 8 + 3
102 = 11 * 9 + 3
113 = 11 * 10 + 3
124 = 11 * 11 + 3 (ESTE VALOR SALE DEL RANGO, no es considerado).

Hallo tambien valores de x3, que serán los valores para los cuales se cumple
LL3:

12 = 11 * 1 + 3
23 = 11 * 2 + 3
34 = 11 * 3 + 3
45 = 11 * 4 + 3
56 = 11 * 5 + 3
67 = 11 * 6 + 3
78 = 11 * 7 + 3
89 = 11 * 8 + 3
100 = 11 * 9 + 3
111 = 11 * 10 + 3
122 = 11 * 11 + 3 (ESTE VALOR SALE DEL RANGO, no es considerado).

Podemos ver también que ninguno de los valores x1, x2 y x3 coinciden entre sí.
Por lo tanto, no habrá ningún minuto donde haya más de una llave abierta.
Como nosotros tenemos que evaluar los valores de t para los cuales:
Se cumple LL1 y no se cumple LL3. (Todos los minutos que se cumple LL1
básicamente)
No se cumple LL2 y no se cumple LL3. (Todos los minutos, menos los que se
está abierta LL2 y los que está abierta LL3).

No se cumplen ninguna de las 3. (Los minutos restantes)

Esto me va a permitir completar la tabla del punto 2-b

Minutos en los Minutos en los Minutos en los Minutos en los

cuales la llave 1 cuales la llave 2 cuales la llave 3 cuales el tanque
está abierta está cerrada está cerrada 3 recibe líquido
del circuito
15, 26, 37, 48, Todos los Todos los Todos los
59, 70, 81, 92, minutos, excepto: minutos, excepto: minutos, excepto
103, 114 14, 25, 36, 47, los que la llave 2
58, 69, 80, 91, 12, 23, 34, 45, está abierta y los
102, 113 56, 67, 78, 89, que la llave 3
100, 111 está abierta (los
expuestos en las
columnas
anteriores):

0, 1, 2, 3, 4, 5, 6,
7, 8, 9, 10, 11,
13, 15, 16, 17,
18, 19, 20, 21,
22, 24, 26, 27,
28, 29, 30, 31,
32, 33, 35, 37,
38, 39, 40, 41,
42, 43, 44, 46,
48, 49, 50, 51,
52, 53, 54, 55,
57, 59, 60, 61,
62, 63, 64, 65,
66, 68, 70, 71,
72, 73, 74, 75,
76, 77, 79, 81,
82, 83, 84, 85,
86, 87, 88, 90,
92, 93, 94, 95,
96, 97, 98, 99,
101, 103, 104,
105, 106, 107,
108, 109, 110,
112, 114, 115,
116, 117, 118,
119, 120, 121.