Hola Marcos:
Lo que hace la solución es estudiar todos los casos en que una valuación asigna 1 a la fórmula dada.
Tengamos en cuenta que eso se puede resolver más fácilmente usando tableau. (en 2012 no se daba).
Si construimos el tableau obtenemos que la fórmula se hace 1 para las valuaciones v que cumplen alguna de estas dos condiciones:
- v(p) = v(q) = 1
- v(p) = 0 y v(q) = 1
Vemos las dos condiciones se resumen en:
- v(q) = 1
De ahí se concluye que Γ₁ = {q}.
Con respecto a tus otras preguntas:
- En general, aunque no siempre, es más simple usar tableau que trabajar con la definición de valuación y min/max. En otros casos, puede quedar más sencillo aplicando equivalencias. Depende del ejercicio.