Universidad Tecnológica de los Andes
1. LEYES DE ALGEBRA PROPOSICIONAL
Son equivalencias lógicas que nos permiten reducir esquemas moleculares complejos y
expresarlos en forma más sencilla. Las demostraciones de dichas leyes se hacen
construyendo la tabla de verdad en cada caso.
1.1. PRINCIPALES LEYES:
1. Ley de Idempotencia:
2. Ley Conmutativa:
3. Ley Asociativa:
4. Ley Distributiva:
5. Ley de la Doble
Negación:
6. Leyes de Identidad:
7. Leyes del Complemento o
del tercio excluido:
8. Ley del Condicional:
9. Ley de la Bicondicional:
10. Ley de Absorción:
11. Leyes de "De Morgan":
12. Leyes de Transposición:
13. Leyes de Exportación:
14. Elemento Neutro Para
Tautología:
15. Formas Normales:
Mgt. Fermín U. Sollasi Ferro
Escuela Profesional de Derecho
𝑝∨𝑝 ≡𝑝
𝑝∧𝑝 ≡𝑝
𝑝∨𝑞 ≡𝑞∨𝑝
𝑝∧𝑞 ≡𝑞∧𝑝
(𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
(𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟)
𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
Disyunción respecto a la conjunción
𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)
Conjunción respecto a la disyunción
~(~ 𝑝) ≡ 𝑝
𝑝∨𝑉 ≡ 𝑉; 𝑝∨𝐹 ≡𝑝
𝑝∧𝑉 ≡𝑝; 𝑝∧𝐹 ≡ 𝐹
𝑝∨~𝑝 ≡𝑉
𝑝∧~𝑝 ≡ 𝐹
𝑝⇒𝑞 ≡~𝑝∨𝑞
𝑝 ⇔ 𝑞 ≡ (𝑝 ⇒ 𝑞) ∧ (𝑞 ⇒ 𝑝)
𝑝 ⇔ 𝑞 ≡ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞)
𝑝 ⇔ 𝑞 ≡ ~(𝑝 △ ~𝑞)
Absorción Total
𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝
𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝
~𝑞 ∨ (~𝑞 ∧ 𝑡) ≡ ~𝑞
~𝑝 ∨ (𝑡 ∧ ~𝑝) ≡ ~𝑝
Absorción Parcial
𝑝 ∨ (~𝑝 ∧ 𝑞) ≡ 𝑝 ∨ 𝑞
𝑝 ∧ (~𝑝 ∨ 𝑞) ≡ 𝑝 ∧ 𝑞
~𝑝 ∧ (𝑝 ∨ ~𝑡) ≡ ~𝑝 ∧ ~𝑡
𝑝 ∧ (𝑞 ∨ ~𝑝) ≡ 𝑝 ∧ 𝑞
~(𝑝 ∨ 𝑞) ≡ ~𝑝 ∧ ~𝑞
~(𝑝 ∧ 𝑞) ≡ ~𝑝 ∨ ~𝑞
𝑝 ⇒ 𝑞 ≡∼ 𝑞 ⇒∼ 𝑝
𝑝 ⇔ 𝑞 ≡∼ 𝑞 ⇔∼ 𝑝
(𝑝 ∧ 𝑞) ⇒ 𝑟 ≡ 𝑝 ⇒ (𝑞 ⇒ 𝑟)
p ∧ C = C; C ∨ T = T; p ∨ T = T; C ∧ T = C
Donde:
T: Tautología (Verdad)
C: Contradicción (Falso)
p: Esquema Molecular Cualquiera
Para conjunción:
𝑉 ∧ 𝑉 ≡ 𝑉; 𝑉 ∧ 𝑝 ≡ 𝑝; 𝐹 ∧ 𝑝 ≡ 𝐹
Para disyunción:
F ∨ F ≡ F; F ∨ p ≡ p; V ∨ p ≡ V
1 Matemática Básica
Universidad Tecnológica de los Andes Escuela Profesional de Derecho

1.2. SIMPLIFICACIÓN DE PROPOSICIONES

La simplificación de una proposición, o dicho de otra manera, la simplificación de una

expresión lógica consiste en reducir la expresión lógica a una forma más simple mediante
el uso de los axiomas y/o leyes lógicas.
La simplificación consiste en ir desarrollando la expresión paso a paso mediante la
sustitución en cada paso de una expresión lógica equivalente a la anterior, hasta llegar a
una expresión lógica irreducible.
A través de la simplificación podemos también demostrar una equivalencia lógica sin usar
tablas de verdad.
EJERCICIOS DE APLICACIÓN
1. Simplificar la expresión: ≡∼ [(~𝒑 ∨∼ 𝒒) ∨∼ 𝒒], e indicar la ley que utiliza.
Solución:

≡∼ [(~𝒑 ∨∼ 𝒒) ∨∼ 𝒒]……………….Ley Asociativa

≡∼ [∼ 𝒑 ∨ (∼ 𝒒 ∨∼ 𝒒)]……………...Ley de Idempotencia
≡∼ (∼ 𝒑 ∨∼ 𝒒) ………………….......Ley de Morgan
≡∼ (∼ 𝒑) ∧∼ (∼ 𝒒)………………….Ley de Doble Negación
≡𝐩∧𝐪

2. Simplificar la expresión: ≡ [(pp)q][~q(rq)][p(p~q)], indicar la ley

que utiliza.
Solución:

≡[(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]……….Ley Condicional

≡ [(~p  p)  q]  [~q  (r  q)]  [~p  (p  ~q)]….….Ley Asociativa
≡ [(~p  p)  q]  [~q  (r  q)]  [(~p  p)  ~q]……..Ley del Complemento
≡ (V  q)  [~q  (r  q)]  (V  ~q) …………………...Ley de Forma normal
≡V  [~q  (r  q)]  V …………………………………Ley Asociativa
≡V  V  [~q  (r  q)] …………………………………Ley de Forma normal
≡V  [~q  (r  q)] ……………………………………..Ley de Forma normal
≡~q  (r  q) ……………………………………….Ley Distributiva
≡~q  r)  (~q  q) ……………………………………..Ley del Complemento
≡ (~q  r)  V ……………………………….………….Ley de Forma normal
≡~q  r

3. Simplificar: ≡∼ [∼ (∼ 𝒑 ∨ 𝒒) ⟹ 𝒑] ∨ 𝒒

Mgt. Fermín U. Sollasi Ferro 2 Matemática Básica

Universidad Tecnológica de los Andes Escuela Profesional de Derecho

4. Si (𝑝 ⟹∼ 𝑞) ∨ (∼ 𝑟 ⟹∼ 𝑠) es falsa. Determinar el valor de verdad de las

proposiciones:

a. ∼ (∼ 𝑟 ∧ 𝑠) ⟺ (∼ 𝑝 ⟹∼ 𝑞)

b. 𝑝 ⟹∼ [𝑞 ⟹∼ (𝑠 ⟹ 𝑟)]

5. Si: p y t son verdaderas, q y r son falsas. Determinar el valor de verdad de las

siguientes proposiciones:

a. (𝒑 ∨∼ 𝒒) ∧ (∼ 𝒓 ∨ 𝒕)

b. [(𝒑 ⟹ 𝒕) ∧ (∼ 𝒓 ⟹ 𝒒)] ∨∼ [(∼ 𝒑 ∧ 𝒒) ∨ (∼ 𝒒 ⟺ 𝒕)]

6. Si 𝑤: (∼ 𝑝 ∧ 𝑞) ⟹ (∼ 𝑠 ∨ 𝑟) es falsa. Hallar el valor de verdad de: 𝑡 ≡∼ (∼ 𝑝 ∧ 𝑞) ∧

(∼ 𝑟 ∨ 𝑟) ∧ 𝑠

Mgt. Fermín U. Sollasi Ferro 3 Matemática Básica

Universidad Tecnológica de los Andes Escuela Profesional de Derecho

2. PROPOSICIONES EQUIVALENTES

Dos proposiciones compuestas p y q se llaman equivalentes (ó lógicamente equivalentes),

si sus tablas de verdad son idénticas o tienen los mismos valores de verdad para cada caso
en su tabla de verdad.

Ejemplo:

1. Demostrar que las siguientes proposiciones, son equivalentes:

a. (p ⟹ q)
b. [(∼ q) ⟹ (∼ p)]

2. Probar que las siguientes proposiciones, son equivalentes:

a. ∼ {(𝐪 ∨∼ 𝐩) ∨ [𝐪 ∧ (𝐫 ∨∼ 𝐩)]}
b. ∼ (∼ 𝐪 ⟹∼ 𝐩) ∧ [𝐪 ⟹∼ (𝐩 ⟹ 𝐫)]
c. (𝒑 ∧∼ 𝒒) ∧ [∼ 𝒒 ∨ (∼ 𝒓 ∨ 𝒑)]

Mgt. Fermín U. Sollasi Ferro 4 Matemática Básica