1.

Al simplificar: a) p ∨ q ∨ ¬r b) ¬p ∨ q c) (q ∨ r) & 𝑟
(¬B → A) ← ¬(¬A → B) & (¬A & 𝐴) ∨ d) 1 e) p ∧ ¬q
(¬𝐴 & ¬𝐴)
Obtenemos: 10. Al Simplificar:
1. B & ¬𝐴 2. ¬(¬A → ¬B) 3.A & ¬𝐵 ¬(pq) ∨ ¬(¬qp) & (¬q ∨
4. A 5. ¬(B → A) ¬r)& ¬r
Son ciertas, excepto: Obtenemos:
a) 2, 3 y 4 b) 1, 2 y 5 c) 3, 4 y 5 a) ¬(¬r / ¬ r) b) ¬(¬r ↓ ¬q) c) r ↓
d) Todas e) Solo 3 y 4 ¬q
d) p/¬r e) r ↓ q
2. La fórmula lógica: ¬¬ (A & B) → ¬B ∨ B
Equivale a: 11. La fórmula:
a) A b) ¬ A c) (B ⟺ A) ⟺ A (q → ¬r) & (p → q) ∨ ¬(¬q ↓ ¬r).
d) A ∨ B e) A ↔ (A ↮ B) No equivale a:
a) (¬q ∨ ¬r) b) (¬r ← q) c) ¬(r & 𝑞)
3. La fórmula lógica: (¬A & 𝐵) → (𝐵 → A) d) (q → r) e) r ↓ q
Equivale a:
a) A b) A ∨ ¬ B c) A ∨ B 12. La fórmula:
d) B e) A ∧ B (p ↔ q)&(¬q → ¬p) ∨ (¬p ∨ q)&(¬𝑞 ∨
p). Equivale a:
4. El esquema molecular: (A & 𝐵) ∨ (𝐴 ∨ 𝐵), es a) ¬p ⨁¬q b) ¬p ∨ q c)
equivalente a: ¬(pq)
1 A∨ B 2. B ∨ A 3. A & 𝐵 4. d) q e) p
¬ A / ¬B
Son ciertas solamente: 13. La fórmula: (¬q ∨ r) ∨ (p → q)& (¬𝑟 →
¬𝑞) Equivale a:
a) 1, 2 y 3 b) 2, 3 y 4 c) 3, 4 y 5 a) ¬q ∧ r b) r → q c)
d) 1, 2 y 4 e) Solo 3 r → ¬p d)(p ∨ q) & 𝑟 e)r → q
5. La fórmula lógica:
(¬B → ¬A) → (¬A → ¬B) & ¬(𝐴 & 𝐵)
Es equivalente:
a) ¬B b) 0 c) A
d) A e) A & 𝐵

6. La fórmula: (¬A  ¬B) ∨

¬(¬A  ¬B)  B.
Equivale a:
a) A → B b) ¬A c) A ∧ B
d) 0 e) 1

7. La fórmula: (A ∨ ¬B) & 𝐵 → A.

Es equivalente a:
a) (A & B) b) ¬B ∨ A c) 1
d) ¬B e) 0

8. La expresión más simple de:

(p & ¬𝑞 & 𝑟) ∨ p & (𝑞 ∨ ¬p).
Equivale a:
a) (p & 𝑞) b) ¬p c) ¬q ∨ q
d) p ∨ q e) p ∧ ¬p

9. Al simplificar la siguiente expresión:

{[(¬p ∨ q) & (r ∨ ¬p)] ∨ [(p ∧ q) ∨
(¬r ∨ ¬q)]}
Obtenemos: