Resultado de la búsqueda: ¬(p → ¬q) ∧ (p ∧ ¬q) tabla de verdad