SIMPLIFICAR UTILIZANDO LAS LEYES LOGICAS LAS SIGUIENTES

PROPOSICIONES:

1.- (p ↔ q) ν (p ν q)

* Solución Justificaciones

(p ↔ q) ν (p ν q) Definición Bicondicional

[(p → q) ^ (q → p)] ν (p ν q) Definición de Implicación

[(~ p ν q) ^ (~ q ν p)] ν (p ν q) Ley Distributiva

[(~ p ν q) ν (p ν q)] ^ [(~ q ν p) ν (p ν q)] Ley Asociativa

[q ν (~ p ν p)] ^ [p ν (~ q ν q)] Condición de Negación

(q ν V) ^ (p ν V) Condición de Tautología

2.- [(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q)

* Solución Justificaciones

[(~ p ν q) ^ (~ q → p)] ν (p ^ ~ q) Definición de Implicación

[(~ p ν q) ^ (~~ q ν p)] ν (p ^ ~ q) Doble Negación

[(~ p ν q) ^ (q ν p)] ν (p ^ ~ q) Ley Distributiva

[q ν (~ p ^ p)] ν (p ^ ~ q) Condición de negación

(q ν F) ν (p ^ ~ q) Elemento Neutro

q ν (p ^ ~ q) Ley Distributiva

(q ν p) ^ (q ν ~ q) Condición de Negación

(q ν p) ^ V Elemento Neutro

(q ν p)

3.- [p → (p ^ r)] ^ [~ p → (p ^ r)]

* Solución Justificaciones

[p → (p ^ r)] ^ [~ p → (p ^ r)] Definición Condicional y Doble Negación

[~ p ν (p ^ r)] ^ [p ν (p ^ r)] Ley Distributiva y Ley de Absorción

[(~ p ν p) ^ (~ p ν r)] ^ p Condición de Negación

[V ^ (~ p ν r)] ^ p Elemento Neutro

(~ p ν r)] ^ p Ley Distributiva

(p ^ ~ p) ν (p ^ r) Condición de Negación

F ν (p ^ r) Elemento Neutro
(p ^ r)

4.- [(q → p) ^ (~ p → q)] → ~ (p ν ~ q)

* Solución Justificaciones

[(q → p) ^ (~ p → q)] → ~ (p ν ~ q) Definición Condicional y Doble Negación

~ [(~ q ν p) ^ (p ν q)] ν ~ (p ν ~ q) Ley de Morgan y Doble Negación

[(q ^ ~ p) ν (~ p ^ ~ q)] ν (~ p ^ q) Ley Distributiva

[~ p ^ (q ν ~ q)] ν (~ p ^ q) Condición de Negación

(~ p ^ V) ν (~ p ^ q) Elemento Neutro

~ p ν (~ p ^ q) Ley de Absorción

~p

5.- (q → p) → [(p ν q) → (q ^ ~ p)]

* Solución Justificaciones

(q → p) → [(p ν q) → (q ^ ~ p)] Definición Condicional

~ (~ q ν p) ν [ ~ (p ν q) ν (q ^ ~ p)] Ley de Morgan y Doble Negación

(q ^ ~ p) ν [(~ p ^ ~ q) ν (q ^ ~ p)] Ley Distributiva

(q ^ ~ p) ν [~ p ^ (~ q ν q)] Condición de Negación

(q ^ ~ p) ν (~ p ^ V) Elemento Neutro

(q ^ ~ p) ν ~ p Ley de Absorción

~p

6.- (p → q) ^ (p ↔ q)

* Solución Justificaciones

(p → q) ν (p ↔ q) Definición De implicación y Definición Bicondicional

(~ p ν q) ν [(p → q) ^ (q → p)] Definición de Implicación

(~ p ν q) ν [(~ p ν q) ^ (~ q ν p)] Ley de Absorción

(~ p ν q)

7.- (p ↔ q) ν p

* Solución Justificaciones

(p ↔ q) ν p Definición Bicondicional

[(p → q) ^ (q → p)] ν p Definición Condicional

[(~ p ν q) ^ (~ q ν p)] ν p Ley distributiva

[p ν (~ p ν q)] ^ [p ν (~ q ν p)] Ley asociativa

[(p ν ~ p) ν q] ^ [(p ν p) ν ~ q] Condición de Negación y Idempotencia

(V ν q) ^ (p ν ~ q) Condición de Tautológica

V ^ (p ν ~ q) Elemento Neutro

(p ν ~ q)

8.- [p ν (p ^ r)] → [(p → r) ^ ~ r]

* Solución Justificaciones

[p ν (p ^ r)] → [(p → r) ^ ~ r] Ley de Absorción

p → [(p → r) ^ ~ r] Definición Condicional

~ p ν [(~ p ν r) ^ ~ r] Ley distributiva

~ p ν [(~ r ^ r) ν (~ r ^ ~ p)] Condición de Negación

~ p ν [F ν (~ r ^ ~ p)] Elemento Neutro

~ p ν (~ r ^ ~ p) Ley de Absorción

~p

9.- [(p ↔ q) → p] ν (p ν q)

* Solución Justificaciones

[(p ↔ q) → p] ν (p ν q) Definición Bicondicional

{[(p → q) ^ (q → p)] → p} ν (p ν q) Definición Condicional

{~[(~ p ν q) ^ (~ q ν p)] ν p} ν (p ν q) Ley de Morgan

{[(~~ p ^ ~ q) ν (~~ q ^ ~ p)] ν p} ν (p ν q) Doble Negación

{[(p ^ ~ q) ν (q ^ ~ p)] ν p} ν (p ν q) Ley asociativa

{[p ν (p ^ ~ q)] ν [p ν (q ^ ~ p)]} ν (p ν q) Ley de Absorción y Ley Distributiva

{p ν [(p ν q) ^ (p ν ~ p)]} ν (p ν q) Condición de Negación

{p ν [(p ν q) ^ V] ν (p ν q) Elemento Neutro

[p ν (p ν q)] ν (p ν q) Ley Asociativa

[(p ν p) ν q] ν (p ν q) Idempotencia

(p ν q) ν (p ν q) Idempotencia

(p ν q)

10.- {[q ν (~ q ^ r)] ν [p → (p ν r)]} → p

* Solución Justificaciones

{[q ν (~ q ^ r)] ν [ p → (p ν r)]} → p Definición Condicional

~{[q ν (~ q ^ r)] ν [ ~ p ν (p ν r)]} ν p Ley de Morgan

{[~ q ^ (~~ q ν ~ r)] ^ [~~ p ^ (~ p ^ ~ r)]} ν p Doble Negación

{[~ q ^ (q ν ~ r)] ^ [p ^ (~ p ^ ~ r)]} ν p Ley Distributiva y Ley asociativa

{[(~ q ^ q) ν (~ q ^ ~ r)] ^ [(p ^ ~ p) ^ ~ r]} ν p Condición de Negación

{[F ν (~ q ^ ~ r)] ^ (F ^ ~ r)} ν p Elemento Neutro y Anti tautología

[(~ q ^ ~ r) ^ F] ν p Condición de Anti tautología

F ν p Elemento Neutro

11.- {[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r)]

* Solución Justificaciones

{[(p ^ ~ r) v (r ^ p)] ^ ~ q} v [~ p ^ (~ p v r) Ley Distributiva y Ley de Absorción

{[p ^ (~ r v r)] ^ ~ q} v ~ p Condición de Negación

{[p ^ V] ^ ~ q} v ~ p Elemento Neutro

(p ^ ~ q) v ~ p Ley distributiva

(~ p v p) ^ (~ p v ~ q) Condición de Negación

V ^ (~ p v ~ q) Elemento Neutro

(~ p v ~ q)

12.- {~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)]

* Solución Justificaciones

{~ t v [S v ~ (t ^ S)]} ^ ~ [~ (t v r) v (~ s v t)] Ley de Morgan

{~ t v [S v (~ t v ~ S)]} ^ [~~ (t v r) ^ (~~ s ^ ~ t)] Ley Asociativa y Doble Negación

{~ t v [(S v ~ S) v ~ t]} ^ [(t v r) ^ (s ^ ~ t)] Condición de Negación

[~ t v (V v ~ t)] ^ [(t v r) ^ (s ^ ~ t)] Condición de tautología

V ^ [(t v r) ^ (s ^ ~ t)] Elemento Neutro

[(t v r) ^ (s ^ ~ t)] Ley Asociativa

[(t v r) ^ ~ t ^ s] Ley Distributiva

[(~ t ^ t) v (~ t ^ r)] ^ s Condición de Negación

[F v (~ t ^ r)] ^ s Elemento Neutro

(~ t ^ r) ^ s

13.- { p v [ q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)]

* Solución Justificaciones

{p v [q ^ (~ r v ~ p)]} ^ [(~ p ^ ~ q) v (p v q)] Ley de Morgan

{p v [q ^ (~ r v ~ p)]} ^ [~ (p v q) v (p v q)] Condición de Negación

{p v [q ^ (~ r v ~ p)]} ^ V Elemento Neutro

{p v [q ^ (~ r v ~ p)]} Ley Distributiva

{(p v q) ^ [p v (~ r v ~ p)] Ley Asociativa

{(p v q) ^ [(p v ~ p) v ~ r] Condición de Negación

{(p v q) ^ (V v ~ r)} Condición de Tautología

(p v q) ^ V Elemento Neutro

(p v q)

14.- ~ [(p ^ r) → q] → ~ (p → q)

* Solución Justificaciones

~ [(p ^ r) → q] → ~ (p → q) Definición Condicional

~~ [~ (p ^ r) v q] v ~ (~ p v q) Doble negación y Morgan

[(~ p v ~ r) v q] v (p ^ ~ q) Ley Asociativa

[(~ p v ~ r)] v q v (p ^ ~ q) Ley Distributiva

[(~ p v ~ r)] v (q v p) ^ (q v ~ q) Condición de negación

[(~ P v ~ r)] v (q v p) ^ V Elemento Neutro

(~ p v ~ r) v (q v p) Ley Asociativa

(~ p v p) v ~ r v q Condición de Negación

V v (~ r v q) Condición de Tautología

15.- {[p ^ (p → q)] → q}

* Solución Justificaciones

{[p ^ (p → q)] → q} Definición. Condicional

{~ [p ^ (~ p v q)] v q} Ley de Morgan y Doble Negación

{[~ p v (p ^ ~ q)] v q} Ley Distributiva

[(~ p v p) ^ (~ p v ~ q)] v q Condición de Negación

[V ^ (~ p v ~ q)] v q Elemento Neutro

(~ p v ~ q) v q Ley Asociativa

(q v ~ q) v ~ p Condición de Negación

V v ~ p Condición de Tautología

V
16.- (~ p → r) ^ [(p ^ ~ r) √ (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r)

* Solución Justificaciones

(~ p → r) ^ [(p ^ ~ r) √ (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r) Def. Condicional y Doble Neg.

(p v r) ^ [(p ^ ~ r) v (~ p ^ ~ r) v (~ p ^ r)] ^ (p v ~ r) Ley Distributiva

(p v r) ^ [(p ^ ~ r) v [~ p ^ (~ r v r)]] ^ (p v ~ r) Cond. De Negación

(p v r) ^ [(p ^ ~ r) v (~ p ^ V)] ^ (p v ~ r) Elemento Neutro

(p v r) ^ [(p ^ ~ r) v ~ p] ^ (p v ~ r) Ley Distributiva

(p v r) ^ [(~ p v p) ^ (~ p v ~ r)] ^ (p v ~ r) Cond. De Negación

(p v r) ^ [V ^ (~ p v ~ r)] ^ (p v ~ r) Elemento Neutro

(p v r) ^ (~ p v ~ r) ^ (p v ~ r) Ley Distributiva

(p v r) ^ [~ r v (~ p ^ p)] Cond. De Negación

(p v r) ^ (~ r v F) Elemento Neutro

(p v r) ^ ~ r Ley Distributiva

(~ r ^ p) v (~ r ^ r) Cond. De Negación

(~ r ^ p) v F Elemento Neutro

~r^p

17. - ~ [p ^ ~ (p ^ ~ q)] → ~ (q v ~p)

* Solución Justificaciones

~ [p ^ ~ (p ^ ~ q)] → ~ (q v ~p) Def. Condicional

~~ [p ^ ~ (p ^ ~ q)] v ~ (q v ~ p) Doble Negación y Ley de Morgan

[p ^ (~ p v q)] v (~ q ^ p) Ley Distributiva

[(p ^ ~ p) v (p ^ q)] v (~ q ^ p) Condición De Negación

[(F v (p ^ q)] v (~ q ^ p) Elemento Neutro

(p ^ q) v (~ q ^ p) Ley Distributiva

p ^ (q v ~ q) Condición de Negación

p ^ V Elemento Neutro

18.- [q ^ (q → ~ p)] → ~ (p ^ q)

* Solución Justificaciones

[q ^ (q → ~ p)] → ~ (p ^ q) Definición Condicional

~ [q ^ (~ q v ~ p)] v ~ (p ^ q) Elemento Neutro y Doble Negación

[~ q v (q ^ p) ] v (~ p v ~ q) Ley Distributiva

[(~ q v q) ^ (~ q v p)] v (~ p v ~ q) Condición de Negación

[V ^ (~ q v p)] v (~ p v ~ q) Elemento Neutro

(~ q v p)] v (~ p v ~ q) Ley asociativa

(~ p v p) v (~ q v ~ q) Condición de Negación

V v (~ q v ~ q) Condición de Tautológica