Soluciones al TP 2, ejercicio E

 

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))