16 ALGEBRA

s.2. sIMpLrFICActóttt on rónuut¿s pRoposrcroNALEs

Se trata de trasformar una fórmula proposicional en otra equivalente a ella pero lo más
reducida posible. Para lo cual se debe usar oportuna y correctamente las leyes lógicas.
Así mismo, deben especificarse en cada paso la ley o leyes que fueron utilizados.

Ejemplos: En cada uno de los siguientes incisos, simplificar la proposición dada:

a) Simplificar: p^(q"-q)
como q v - q: V por la ley de negación (1,. neg. )

luego se tiene:

p^(qv-q):pr'V
= P , según la ley de identidad (L. ident.)

b) Simplificar : -qv(-pnp)
como -p ^ p = F, según la ley de negación (L. neg.)
luego se tiene:

-qv(-p^p):-qvF
:-q , según la ley de identidad (L.ident.)

c) Simplificar : -(p^-q)vq
Por la leyde De Morgan(L. D M), -( pn -q) =-p v q
luego se tiene:

-(pn-q)vq=(-pvq)vq
- - p v (q v q), según la ley asociativa (L.asoc.)
= - p v q , según la ley de idempotencia (L. Idem.)
d) Simplificar : - (p -+ - q) p
^
Por la definición de implicación ( d.imp.), p -+ - q: - pv - q

luego se tiene:

-(p-+-q)np = -(-pv-q)^p