1. A ∧ ¬B
(p ∧ q) ∧ ¬ (r ∨ t)
2. ¬(A ∧ B)
¬ ((p ∧ q) ∧ (r ∨ t))
3. ¬A → B
¬ (p ∧ q) → (r ∨ t)
4. A → (B ∨ ¬A)
(p ∧ q) → ((r ∨ t) ∨ ¬ (p ∧ q))
5. (A → B) ∨ ¬A
((p ∧ q) → (r ∨ t)) ∨ ¬ (p ∧ q)
6. (A ∧ B) → C
((p ∧ q) ∧ (r ∨ t)) → ((q → t) ∧ s)
7. (A ∧ ¬B) ∨ (¬A ∧ B)
((p ∧ q) ∧ ¬ (r ∨ t)) ∨ (¬ (p ∧ q) ∧ (r ∨ t))
8. (A ∨ B) → (¬A ∧ B)
((p ∧ q) ∨ (r ∨ t)) → (¬ (p ∧ q) ∧ (r ∨ t))
9. (A → B) ↔ (¬A ∨ B)
((p ∧ q) → (r ∨ t)) ↔ (¬ (p ∧ q) ∨ (r ∨ t))
10. ¬A ∨ (¬B → A)
¬ (p ∧ q) ∨ (¬(r ∨ t) → (p ∧ q))
No hay comentarios:
Publicar un comentario
Nota: solo los miembros de este blog pueden publicar comentarios.