c

7. Leyes del Condicional:

a) p → q ≡ ~p ٧ q
b) ~ (p → q) ≡ p ٨ ~q

8. Leyes del Bicondicional:

a) p ↔ q ≡ (p → q) ٨ (q → p)
b) p ↔ q ≡ (p ٨ q) ٧ (~p ٨ ~q)

10. Leyes de Transposición:

a) (p → q) ≡ (~q → ~p)
b) (p ↔ q) ≡ (~q ↔ ~p)
11. Ley de Exportación:
(p ٨ q) → r ≡ p → (q → r)

12. Formas normales:

• Para la Conjunción: V ٨ V ≡ V; V ٨ P ≡ P; F ٨ P ≡ F
• Para la Disyunción: F ٧ F ≡ F; F ٧ P ≡ P; V ٧ P ≡ V

13. Elementos Neutros para la Contradicción y Tautología:

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
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.

1.- Simplificar la expresión, recuerde ubicar la ley que utiliza

a) [(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]

b) [~(p  q)  (~p  q)]  (~p  q)

c) [(p ~q)  ~p ]  q

d) [(p ˄ q)  ~r] v [p  (q  ~r)]

e) ~{[(~p)  (~q)]  ~q ]}

f) [~p  q]  [~q  ~p]

g) ( p   ~p)  [p  (q  p)]

h) [~ (p  q)  ~ (q  p)]  (p  q)

i) {[(p  q)  ~q]  ~q}

j) ~ [(p  p)  p]

k) [(p  ~q)  q]  p
 l) ~ [~ (p  q)  ~q]  q
m) [(~p  q)  (r  ~r)]  ~q

n) [(p  q)  (p  ~q)]  (~p  ~q)

o) [(~p  q)  (r  ~r)]  ~q

p) [(p p)  q]  [~q  (r  q)]  [p  (p  ~q)]

q) [~(p  q)  (~p  q)]  (~p  q)

r) [( p   ~ q )  ~p  ]  q

s) [( p  Λ  q )  ~r] v [ p   ( q   ~r)]

t)  ( p   q)

u)  (p  q)  ( p   q)

v)  (p  q)  q

2.-Negar los siguientes esquemas proposicionales y obtener

expresiones equivalentes

i) (p  q) → r

ii) q  r

iii) pq

iv) p  (q → r)