Ejercicios de Traducción y Evaluación:

1. Q ∨ R
- Traducción: Hoy es martes o hoy es un día de fiesta.
- Verdadera cuando hoy es martes o un día de fiesta.

2. ¬P ∧ ¬R
- Traducción: Hoy no está haciendo calor y no es un día de fiesta.
- Verdadera cuando hoy no está haciendo calor y no es un día de fiesta.

3. Q ∧ Q
- Traducción: Hoy es martes y es martes.
- Verdadera sólo cuando hoy es martes.

4. Q ∧ ¬Q
- Traducción: Hoy es martes y no es martes.
- Falsa siempre, ya que no puede ser martes y no martes al mismo tiempo.

5. P ∧ (Q ∨ R)
- Traducción: Hoy está haciendo calor y hoy es martes o hoy es un día de fiesta.
- Verdadera cuando hace calor y es martes o es un día de fiesta.

6. (P ∧ Q) ∨ R
- Traducción: Hoy está haciendo calor y es martes, o es un día de fiesta.
- Verdadera cuando hace calor y es martes, o simplemente es un día de fiesta.

7. (P ∧ ¬R) ∨ (¬P ∧ R)
- Traducción: Hoy está haciendo calor y no es un día de fiesta, o no está haciendo calor y
es un día de fiesta.
- Verdadera cuando hace calor pero no es un día de fiesta, o no hace calor pero es un día
de fiesta.

Ejercicios de Equivalencia:

1. Hoy no es martes: ¬Q
2. Hoy no es martes o hoy es martes: ¬Q ∨ Q
3. Hoy está haciendo calor o es martes o es un día de fiesta: P ∨ Q ∨ R
4. Hoy ni es martes ni es un día de fiesta: ¬Q ∧ ¬R

Ejercicios de Simplificación:

1. Q ∧ Q: Q (porque Q ∧ Q es equivalente a Q)
2. Q ∧ ¬Q: Falso (porque Q ∧ ¬Q siempre es falso)
3. Q ∧ Verdadero: Q (porque Q ∧ Verdadero es equivalente a Q)
4. Q ∧ Falso: Falso (porque Q ∧ Falso siempre es falso)
5. Q ∨ Verdadero: Verdadero (porque Q ∨ Verdadero siempre es verdadero)
6. Q ∨ Falso: Q (porque Q ∨ Falso es equivalente a Q)
7. ¬Q ∧ ¬Q: ¬Q (porque ¬Q ∧ ¬Q es equivalente a ¬Q)
8. ¬Q ∨ ¬Q: ¬Q (porque ¬Q ∨ ¬Q es equivalente a ¬Q)
9. ¬(Q ∨ P): ¬Q ∧ ¬P
10. ¬(Q ∧ P): ¬Q ∨ ¬P
11. (P ∧ Q) ∨ (P ∧ R): P ∧ (Q ∨ R)

Tablas de Verdad para Leyes de De Morgan:

1. ¬(P ∧ Q) ≡ ¬P ∨ ¬Q
- Tabla de Verdad:

P Q ¬(P ∧ Q) ¬P ∨ ¬Q

T T F F

T F T T

F T T T

F F T T

2. ¬(P ∨ Q) ≡ ¬P ∧ ¬Q
- Tabla de Verdad:

P Q ¬(P ∧ Q) ¬P ∨ ¬Q

T T F F

T F F F

F T F F

F F T T
Tablas de Verdad para Operaciones Adicionales:

1. xor (or exclusivo): P xor Q ≡ (P ∧ ¬Q) ∨ (Q ∧ ¬P)

- Tabla de Verdad:

P Q P xor Q

T T F

T F T

F T T

F F F

2. == (equivalencia): P == Q ≡ (P ∧ Q) ∨ (¬P ∧ ¬Q)

- Tabla de Verdad:

P Q P==Q

T T T

T F F

F T F

F F T

3. != (desigualdad): P != Q ≡ ¬(P == Q)
- Tabla de Verdad:

P Q P!=Q

T T F

T F T

F T T

F F F
4. nand: ¬(P ∧ Q)
- Tabla de Verdad:

P Q nand

T T F

T F T

F T T

F F F

5. nor: ¬(P ∨ Q)
- Tabla de Verdad:

P Q nor

T T F

T F F

F T F

F F T