UNED Informática- Lógica Matemática

Ayer me examiné en la UNED de Lógica Matemática. Esta es una asignatura de Informática obligatoria del 2º cuatrimestre (1er. año). Para todos aquellos que tengan que examinarse de esta asignatura, les contaré recomendaciones a la hora de hacer el examen.
1.- Las 7 primeras preguntas se resuelven MUY rápidamente si se utiliza una tabla de verdad. Y digo UNA, poner en la misma tabla de verdad TODAS las variables que aparecen en las fórmulas iniciales, y en esa misma tabla encontrar los resultados para cada una de las X.
2.- Para el resto de preguntas, creo que no hay regla que valga, cada uno debe seguir sus propios trucos o métodos para comprobar satisfacibilidad, consecuencia, etc.

Esto lo comento porque he oido a mucha gente que el examen es larguísimo y que no da tiempo a terminarlo. Según mi entender, nada más lejos de la realidad. Con lo de la tabla de verdad, el tiempo realmente sobra, a no ser que no se tengan los conceptos claros y no se sepa por dónde tirar.

Nervioso de los nervios, en espera de que den las respuestas oficiales...