1) Con el convenio para la eliminación de paréntesis, ¿qué fórmula, con todos sus paréntesis, corresponde a la siguiente? ¬p ∨ ¬q → t ∨ (q ↔ s)
2) Se desea construir todas las interpretaciones con las que evaluar conjuntamente dos fórmulas. ¿Cuantas son las líneas de la tabla de verdad conjunta de estas dos fórmulas? (p → ¬q) → r (r ∧ s) ∨ t