ALGEBRA DE PROPOSICIONES:

Ejercicios:
-Equivalencia lógica:

 (𝑷 ∨ 𝑸) ∧ 𝑷 ≡ 𝑷
≡ (𝑷 ∨ 𝑸) ∧ 𝑷
≡𝑷 -ABSORCIÓN

 𝑷 → (𝑸 → 𝑹) ≡ (𝑷 ∧ 𝑸) → 𝑹
≡ ~𝑷 ∨ (~𝑸 ∨ 𝑹) -DISTRIBUTIVA
≡ 𝑹 ∨ (~𝑷 ∨ ~𝑸) -ASOCIATIVA
≡ (~𝑷 ∨ ~𝑸) ∨ 𝑹 -CONMUTATIVA
≡ ~(𝑷 ∧ 𝑸) ∨ 𝑹 -MORGAN
≡ (𝑷 ∧ 𝑸) → 𝑹 -CONDICIONAL

 ~(𝑷 → 𝑸) ≡ 𝑷 ∧ ~𝑸
≡ ~(𝑷 ∨ 𝑸) -DISTRIBUTIVA
≡ 𝑷 ∧ ~𝑸 -MORGAN

 (𝑷 ∧ ~𝑸) → (~𝑷 ∨ 𝑭) ≡ 𝑷 → 𝑸
≡ ~(𝑷 ∧ ~𝑸) ∨ (~𝑷 ∨ 𝑭) -CONDICIONAL
≡ (~𝑷 ∨ 𝑭) ∨ (~𝑷 ∨ 𝑭) -MORGAN
≡ (~𝑷 ∨ ~𝑷 ) ∨ (𝑸 ∨ 𝑭) -ASOCIATIVA
≡ ~𝑷 ∨ 𝑸 -IDEM.Y IDENTIDAD
≡ 𝑷→𝑸 -CONDICIONAL

SIMPLIFICAR:
 ~(𝑷 ∨ 𝑸) ∨ (~𝑸 ∧ 𝑷)
(~𝑷 ∧ ~𝑸 ) ∨ (~𝑸 ∧ 𝑷) -MORGAN
(~𝑸 ∧ ~𝑷 ) ∨ (~𝑸 ∧ 𝑷) -CONMUTATIVA
~𝑸 ∧ (~𝑷 ∨ ~𝑷 ) -DISTRIBUTIVA
~𝑸 ∧ 𝑽 -COMPLEMENTO
~𝑸 -IDENTIDAD

 (𝑷 ∨ 𝑸) → (𝑷 ∧ ~𝑸)
(~𝑷 ∧ ~𝑸 ) ∨ (𝑷 ∧ ~𝑸) -MORGAN Y CONDICIONAL
~𝑸 ∧ (~𝑷 ∨ ~𝑷 ) -DISTRIBUTIVA
~𝑸 ∧ 𝑽 -COMPLEMENTO
~𝑸 -IDENTIDAD
 (𝑷 ∧ 𝑸) → ~𝑷
(~𝑷 ∨ ~𝑸 ) ∨ ~𝑷 -CONDICIONAL Y MORGAN
(~𝑷 ∨ ~𝑷 ) ∨ ~𝑸 -ASOCIATIVA
~𝑷 ∨ ~𝑸 -IDEMPOTENCIA

 ~𝑷 ↔ (𝑸 → ~𝑷)
[~𝑷 → (𝑸 → ~𝑷)] ∧ [(𝑸 → ~𝑷) → ~𝑷]
[𝑷 ∨ (~𝑸 ∨ ~𝑷)] ∧ [~(~𝑸 ∨ ~𝑷) ∨ ~𝑷]
[~𝑸 ∨ (𝑷 ∨ ~𝑷)] ∧ [(𝑸 ∧ 𝑷) ∨ ~𝑷]
(~𝑸 ∨ 𝑽) ∧ [(~𝑷 ∨ 𝑸) ∧ (~𝑷 ∧ 𝑷)]
𝑽 ∧ [(~𝑷 ∨ 𝑸) ∧ 𝑽]
𝑽 ∧ (~𝑷 ∨ 𝑸)
~𝑷 ∨ 𝑸
-BICONDICIONAL
-CONDICIONAL Y INVO.
-MORGAN Y ASOCIATIVA
-DISTRI. Y COMPLEMENTO
-IDENTIDAD Y COMPLEM.
-IDENTIDAD
-IDENTIDAD

 [~𝑷 → (𝑸 → ~𝑷)] ∧ [~(𝑸 → ~𝑷) → ~𝑷]

[𝑷 ∨ (~𝑸 ∨ ~𝑷)] ∧ [(~𝑸 ∨ ~𝑷) ∨ ~𝑷] -INVOLUCION Y CONDICIONAL
[(𝑷 ∨ ~𝑷) ∨ ~𝑸] ∧ [~𝑸 ∨ (~𝑷 ∨ ~𝑷)] -ASOCIATIVA Y CONMUTATIVA
[(𝑽 ∨ ~𝑸)] ∧ (~𝑸 ∨ ~𝑷) -COMPLEMENTO Y IDEM.
𝑽 ∧ (~𝑸 ∨ ~𝑷) -IDENTIDAD
~𝑸 ∨ ~𝑷 -IDENTIDAD
~(𝑸 ∧ 𝑷) -MORGAN