1.

(5 ≥ 27 MOD 2 * 3 ∨ 8 > 3 ⋀ 16 DIV 3 * 2 > 4) → ¬ (7 * 3 < 5 * 2 + 4 * 3 DIV 9)

(5 ≥ 1 * 3 ∨ 8 > 3 ⋀ 16 DIV 3 * 2 > 4) → ¬ (7 * 3 < 5 * 2 + 4 * 3 DIV 9)
(5 ≥ 3 ∨ 8 > 3 ⋀ 16 DIV 3 * 2 > 4) → ¬ (7 * 3 < 5 * 2 + 4 * 3 DIV 9)
(5 ≥ 3 ∨ 8 > 3 ⋀ 5 * 2 > 4) → ¬ (7 * 3 < 5 * 2 + 4 * 3 DIV 9)
5 ≥ 3 ∨ 8 > 3 ⋀ 10 > 4 → ¬ (7 * 3 < 5 * 2 + 4 * 3 DIV 9)
5 ≥ 3 ∨ 8 > 3 ⋀ 10 > 4 → ¬ (21 < 5 * 2 + 4 * 3 DIV 9)
5 ≥ 3 ∨ 8 > 3 ⋀ 10 > 4 → ¬ (21 < 10 + 4 * 3 DIV 9)
5 ≥ 3 ∨ 8 > 3 ⋀ 10 > 4 → ¬ (21 < 10 + 12 DIV 9)
5 ≥ 3 ∨ 8 > 3 ⋀ 10 > 4 → ¬ (21 < 10 + 1)
5 ≥ 3 ∨ 8 > 3 ⋀ 10 > 4 → ¬ 21 < 11
Verdadero ∨ 8 > 3 ⋀ 10 > 4 → ¬ 21 < 11
Verdadero ∨ Verdadero ⋀ 10 > 4 → ¬ 21 < 11
Verdadero ∨ Verdadero ⋀ Verdadero → ¬ 21 < 11
Verdadero ∨ Verdadero ⋀ Verdadero → ¬ Falso
Verdadero ∨ Verdadero ⋀ Verdadero → Verdadero
Verdadero ∨ Verdadero → Verdadero
Verdadero → Verdadero
Verdadero R//.

2. ¬ (¬ Verdadero ∨ ¬Verdadero) ↔ (Verdadero ∧ Verdadero) → falso → falso

→ Verdadero → Verdadero ∨ ¬Verdadero ↔ verdadero

¬ (Falso ∨ ¬Verdadero) ↔ (Verdadero ∧ Verdadero) → falso → falso → Verdadero

→ Verdadero ∨ ¬Verdadero ↔ verdadero

¬ Falso ∨ Falso ↔ (Verdadero ∧ Verdadero) → falso → falso → Verdadero →

Verdadero ∨ ¬Verdadero ↔ verdadero

¬ Falso ∨ Falso ↔ Verdadero → falso → falso → Verdadero → Verdadero ∨

¬Verdadero ↔ verdadero

Verdadero ∨ Falso ↔ Verdadero → falso → falso → Verdadero → Verdadero ∨

¬Verdadero ↔ verdadero

Verdadero ∨ Falso ↔ Verdadero → falso → falso → Verdadero → Verdadero ∨

Falso ↔ verdadero

Verdadero ↔ Verdadero → falso → falso → Verdadero → Verdadero ∨ Falso ↔

verdadero

Verdadero ↔ Verdadero → falso → falso → Verdadero → Verdadero ↔ verdadero

Verdadero ↔ Falso → falso → Verdadero → Verdadero ↔ verdadero
Verdadero ↔ Verdadero → Verdadero → Verdadero ↔ verdadero

Verdadero ↔ Verdadero → Verdadero ↔ verdadero

Verdadero ↔ Verdadero ↔ verdadero

Verdadero ↔ verdadero

Verdadero R//.

¬ (¬ Falso ∨ ¬ Falso) ↔ (Falso ∧ Falso) → Falso → Falso → Falso → Falso ∨

¬Falso ↔ Verdadero

¬ (Verdadero ∨ ¬ Falso) ↔ (Falso ∧ Falso) → Falso → Falso → Falso → Falso ∨

¬Falso ↔ Verdadero

¬ Verdadero ∨ Verdadero ↔ (Falso ∧ Falso) → Falso → Falso → Falso → Falso ∨

¬Falso ↔ Verdadero

¬ Verdadero ∨ Verdadero ↔ Falso → Falso → Falso → Falso → Falso ∨ ¬Falso ↔

Verdadero

Falso ∨ Verdadero ↔ Falso → Falso → Falso → Falso → Falso ∨ ¬Falso ↔

Verdadero

Falso ∨ Verdadero ↔ Falso → Falso → Falso → Falso → Falso ∨ Verdadero ↔

Verdadero

Verdadero ↔ Falso → Falso → Falso → Falso → Falso ∨ Verdadero ↔ Verdadero

Verdadero ↔ Falso → Falso → Falso → Falso → Verdadero ↔ Verdadero

Verdadero ↔ Verdadero→ Falso → Falso → Verdadero ↔ Verdadero

Verdadero ↔ Falso → Falso → Verdadero ↔ Verdadero

Verdadero ↔ Verdadero → Verdadero ↔ Verdadero

Verdadero ↔ Verdadero ↔ Verdadero

Verdadero ↔ Verdadero

Verdadero R//.
3. X = 555
5 + 5 + 5 = 15

X = 555
500 + 50 + 5 = 555

R1 + R2 ≥ √(𝑋1 + 𝑋2)2 + 𝑌1 − 𝑌22 Dos puntos se intersectan