saludos!
Con una tabla de verdad pueden visualizar los casos que no funcionan.
Ejemplo:
var x : integer;
if x es par then
print "es par"
else
print "es un entero"
end
La condición del else siempre se cumple, pero nosotros esperaríamos que si x = 2, imprima "es par".
Ahora mirando la fórmula dada, como
se cumple siempre (porque el consecuente siempre es verdadero), la otra parte del OR no importa, y la fórmula "habilita" a que sea válido el caso de x = 2 pero no se imprime "es par". ¿Se entiende?
También hay una explicación linda en Wikipedia (en inglés).
Cualquier cosa vuelvan a consultar.
Saludos
para mi te queda max { max { 1- v(a), v(b)} , max { 1 - (1 - v(a)), v(b) } }
tengo una duda de este mismo ejercicio. por qué if 0 then 1 else 1 (por ejemplo) en la valuación daría 1? los únicos que dan 1 no tendrían que ser 0 0 1 y 1 1 0? gracias!
La tabla del if (resumida) sería así:
φ₁ φ₂ φ₃ (if φ₁ then φ₁ else φ₂)
————————————————————————————————————————————————
0 x v v
1 v x v
Donde v y x representan cualquier valor en {0, 1}.