EJERCICIOS DE LAS LEYES DEL ALGERBA DE PROPOSICIONES

Realizado por: Cesar Saenz, Julián mora y David leonardo

1) [[(¬q v r) →q] → (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Condicional

[[¬ (¬q v r) v q] → (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Condicional

[¬ [¬ (¬q v r) v q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley D’ Morgan

[¬ [(q ∧ ¬r) v q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley D’ Morgan

[[ ¬ (q∧ ¬r) ∧ ¬q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley D’ Morgan

[ [ (¬ q v r) ∧ ¬q] v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Conmutativa

[ ¬q ∧ (¬q v r) v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Absorción

[¬q v (p ∧ r)] ↔ [(¬q v p) ∧ (¬q v r)]

Ley Distributiva

[(¬q v p) ∧ (¬q v r)] ↔ [(¬q v p) ∧ (¬q v r)]

2) [(p → q) ∧(¬p → q)] ↔ q

Ley Condicional

[(¬p v q) ∧ (¬(¬p) v q)] ↔ q

Ley del complemento

[(¬p v q) ∧ (p v q)] ↔ q

Ley Conmutativa

[(q v ¬p) ∧(q v p)] ↔ q

Ley Distributiva

q v (¬p ∧ p) ↔ q

ley conmutativa

q v (p ∧ ¬p) ↔ q

Ley del complemento

qv0↔q

Ley de identidad

q↔q

3) [(p → q) ∧ (p → r)] ↔ [p→(q∧r )

Condicional

[(¬p v q) ∧ (¬p v r) ↔ [p→(q∧r )]

Distributiva.
¬p v (q∧r) ↔ [p→(q∧r )]
 Condicional

[p→(q∧r )] ↔ [p→(q∧r )

4) [(p↔¬q) ∧ (q ∧¬p)] ↔ ¬(q→p)

Bicondicional
[(p→¬q) ∧ (¬q→p) ∧ (q ∧¬p)] ↔ ¬(q→p)

Condicional
[(¬p v ¬q) ∧ (¬ (¬q v p) ∧ (q ∧¬p)] ↔ ¬(q→p)

Ley del complemento

[(¬p v ¬q) ∧ (q v p) ∧ (q ∧¬p)] ↔ ¬(q→p)

Ley conmutativa

[(¬p v ¬q) ∧ (q v p) ∧ (¬p ∧ q)] ↔ ¬(q→p)

Ley asociativa

[((¬p v ¬q) ∧ (¬p ∧ q)) ∧ (q v p)] ↔ ¬(q→p)

Ley distributiva

[(¬p v (¬q ∧ q)) ∧ (q v p)] ↔ ¬(q→p)

Ley conmutativa
[(¬p v (q ∧ ¬q )) ∧ (q v p)] ↔ ¬(q→p)
Ley del complemento

[(¬p v 0) ∧ (q v p)] ↔ ¬(q→p)

Ley de identidad

[¬p ∧ (q v p)] ↔ ¬(q→p)

Ley distributiva
 (¬p ∧q) v (¬p ∧ p) ↔ ¬(q→p)

Ley conmutativa

(¬p ∧q) v (p∧ ¬p) ↔ ¬(q→p)

Ley del complemento

(¬p ∧q) v o ↔ ¬(q→p)

Ley de identidad

(¬p ∧q) ↔ ¬(q→p)

Condicional

(¬p ∧q) ↔ ¬(¬q v p)

Ley D’ Morgan

(¬p ∧ q) ↔ ¬(¬q) ∧ ¬p

Ley del complemento

(¬p ∧ q) ↔ (q ∧ ¬p)

Ley conmutativa

(¬p ∧ q) ↔ (¬p ∧ q)

5) [(p ∧ ¬q) v (p ∧ r)] → (q ∧ r) es la negación de: ¬ (p →q)

Ley distributiva
[p ∧ (¬q v r)] → (q ∧ r) es la negación de: ¬ (p →q)
Condicional
¬ [p ∧ (¬q v r)] v (q ∧ r) es la negación de: ¬ (p →q)