Leyes de Equivalencia

LÓGICA
Kr Mat
LEYES DE EQUIVALENCIA kr - Mat

LEYES DE EQUIVALENCIA o REGLAS DE EQUIVALENCIA

Son las formas básicas en que pueden ser sustituidas unas proposiciones por otras. Si dos
proposiciones son equivalentes tienen los mismos valores de verdad, por lo que pueden sustituirse
entre sí en un argumento cualquiera.
Estas reglas también reciben el nombre de reglas de reemplazo, que permite inferir de cualquier
enunciado el resultado de reemplazar todo o parte de este enunciado por otro lógicamente equivalente
a la parte remplazada.

Las principales reglas de equivalencia que usaremos son:

NOMBRE DE LEY(ES) LEYES DE EQUIVALENCIA

Doble Negación ~ (~p) ≡ p
Idempotencia p p≡p p∨p≡p
p q≡q p p∨q≡q∨p
Conmutativa p↔q≡q↔p p  q≡q  p
Asociativa (p  q)  r ≡ p  (q  r) (p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
(p ↔ q) ↔ r ≡ p ↔ (q ↔ r) (p  q)  r ≡ p  (q  r)
Distributiva  
p (q ∨ r) ≡ (p q) ∨ (p r)  p (q ∨ r) ≡ (p ∨ q)  (p ∨ r)

p → (q ∨ r) ≡ (p → q) ∨ (q → p) p → (q  r) ≡ (p → q)  (q → p)
De Morgan ~ (q  r) ≡ ~p ∨ ~ q ~ (q ∨ r) ≡ ~p  ~ q
Del Complemento p ∨ ~p ≡ V p  ~p ≡ F
De la p∨V≡V p F≡F
Identidad p∨F≡p p V≡p
De la Condicional p→q≡~p∨q p → q ≡ ~ (p  ~ q)
De la p ↔ q ≡ (p → q)  (q → p) p ↔ q ≡ (~p ∨ q)  (~q ∨ p)
Bicondicional p ↔ q ≡ (p  q) ∨ (~p  ~ q) p ↔ q ≡ ~(p ∨ q) ∨ (p  q)
De la Disyunción p  q ≡ ~ (p ↔ q) p  q ≡ (p ∨ q)  ~ (p  q)
p  q ≡ (p  ~ q) ∨ (~p  q)
Fuerte
De p ∨ (p  q) ≡ p p  (p ∨ q) ≡ p
Absorción p ∨ (~p  q) ≡ p ∨ q p  (~p ∨ q) ≡ p  q
De Transposición p → q ≡ ~q → ~ p p  q ≡ ~q  ~ p
De Exportación (p → q) → r ≡ p → (q → r)
De la no contradicción ~ (p  ~p) ≡ V

Ejemplos
Simplifica las siguientes expresiones lógicas:
a) ~ p  q   q  p 
 ~ p  q   q ~ p  q   p → P. Distributiva
 q  q  p → Absorción
q → Absorción

b) p  ~ q  p
 ~ p  ~ q  p  → La Condicional
 ~ p ~ q → Absorción
 ~  p  q → Morgan
LEYES DE EQUIVALENCIA kr - Mat

Ejercicios Propuestos

1. Simplifica las siguientes expresiones lógicas

a)   
pq  ~ pq  ~ p.
b) p ~ r   r   s
c)  p  q  p
d)  p  q ~ q  ~ p   p  q
2. Simplifica los siguientes circuitos lógicos:

(a)

(b)