Hola Matías:
Este tipo de ejercicios recomendamos resolverlos por tableau. Es la manera más sencilla y más clara.
El método que vos aplicás es válido pero resulta más engorroso de explicar.
Vos consideras una valuación genérica e intentás probar que esa valuación siempre vale 1. Para eso aplicás la definición de valuación y planteás una cadena de equivalencias que se basan en propiedades aritméticas de min y max. Esas propiedades no las fundamentás y no siempre son del todo claras.
El método del tableau es una manera más sencilla de encontrar la valuación que buscamos o concluir que esa valuación no existe. Esto es más eficiente que escribir toda la tabla de verdad que puede ser muy largo.
Te recomiendo que mires los videos de práctico dónde se explica cómo resolver este tipo de ejercicios usando tableau.
En la parte b) parece haber algún error. En algún lado se cambio una q por una p.
