EQUIVALENCIAS LÓGICAS

Álgebra de proposiciones
Simplificación de proposiciones.
 EQUIVALENCIAS LÓGICAS

Dos proposiciones son

equivalentes cuando tienen el
mismo valor de verdad, es decir
se debe comprobar que la tabla
de verdad de una proposición
debe ser igual a la tabla de
verdad de la otra proposición
Leyes del álgebra proposicional

Ley de Idempotencia
p∨p≡p
p∧p≡p

Ley Asociativa
(p ∨ q ) ∨ r ≡ p ∨ (q ∨ r)
(p ∧ q) ∧ r ≡ p ∧ (q ∧ r)

Ley Conmutativa
p∧q≡ q∧p
p∨ q ≡ q ∨ p
Ley Distributiva a ⋅ (b + c ) ↔ (a ⋅ b) + (a ⋅ c)

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)

Ley de Identidad Leyes de DeMorgan

p∨F ≡p
p∨V ≡V (𝑝𝑝 ∧ 𝑞𝑞) ≡ 𝑝𝑝 ∨ 𝑞𝑞
p∧V ≡p (𝑝𝑝 ∨ 𝑞𝑞) ≡ 𝑝𝑝 ∧ 𝑞𝑞
p∧F ≡F
Implicancia
𝑝𝑝 → 𝑞𝑞 ≡ 𝑝𝑝 ∨ 𝑞𝑞

𝑝𝑝 ↔ 𝑞𝑞 ≡ (𝑝𝑝 → 𝑞𝑞) ∧ (𝑞𝑞 → 𝑝𝑝)

 Utilizando las equivalencias lógicas

p → q ≡p∨q Implicancia

𝑝𝑝 → 𝑞𝑞 ≡ ~p v q Negación
Ley de Absorción
p ∨ (p ∧ q) ≡ p
p ∧ (p ∨ q) ≡ p

Leyes del Complemento

p∨ p ≡V
p∧ p ≡F
p ≡p
V ≡F
F ≡V
𝑝𝑝 → 𝑞𝑞 ↔ 𝑝𝑝 ∧ 𝑞𝑞
 LEY DE IDENTIDAD
Ejercicios: Simplificar
1.- r ∧ F)
2.- F v ~q
3.- ~t v F
4.- F∧ p
5.- F ∧ ~( t ↔w)
6.- (q → ~r) v F
7.- r ∧ V
8.- V v ~q
9.- ~t v V
10.- V ∧ p
 LEY DEL COMPLEMENTO
Ejercicios: Simplificar

1.- ~~p
2.- ~~ ~q
3.- (p v q) v ~ (p v q)

4.- (p → q) v ~ (p → q)
 LEY DE IDEMPOTENCIA

Ejercicios: Simplificar
1.- p∧p
2.- ~qv~q
3.- (p → r) v (p → r)
4.- qvq
5.- ~rv~r
6.- ~t∧ ~t
7.- (p → r) ∧ (p → r)
 LEY ASOCIATIVA

Ejercicios: Simplificar

1.- p ∧ (~ p ∧ q)
2.- p v (~ p v q )
3.- p∧(p∧q)
4.- pv(pvq)
 LEY CONMUTATIVA

Ejercicios: Simplificar
1.- (p v q) ∧ ( p → r)
2.- (p↔q) ∧ ( q → r)
3.- rvp
4.- (p ∧ ( p → r)
5.- (p v q) v p
 LEY DISTRIBUTIVA

Ejercicios: Simplificar

1.- p ∧ ( q v ~p)

2.- p v ( q ∧ ~p)
 LEY DE ABSORCIÓN

Ejercicios: Simplificar

1.- q v ( q ∧ ~r )
2.- ~t ∧ ( q v ~t )
3.- ~p v (~p ∧ t )
 LEY DE DE MORGAN

Ejercicios: Simplificar
1.- ~(~p ∧ q )
2.- p ∧ ~(p v q )