SIMPLIFICACIN DE ESQUEMAS

MOLECULARES Y PRUEBA FORMAL

Lic. Csar Orihuela Sols.
ANALIZAMOS LAS SIGUIENTES EXPRESIONES
Si estudias lgica, eres coherente; pero si eres
coherente es porque no estudias lgica.
Si no se recibes tratamiento, la enfermedad se
agudiza, pero recibes tratamiento. Adems,
recibes tratamiento pero, la enfermedad se
agudiza u ocurre lo primero.
PROPSITO DE LA CLASE
Simplifica esquemas moleculares para
reducirlas a esquemas bsicos.
RESUMEN DE LAS PRINCIPALES LEYES LGICAS
LEYES LGICAS FRMULA (CASO 1) FRMULA (CASO 2)
CONMUTATIVA (p . q) (q . p) (p v q) (q v p)
ASOCIATIVA [p. (q .r ) ] [ (p . q).r] [pv (q v r) ] [ (p v q)vr]
DISTRIBUTIVA p . (q v r) (p . q) v (p . r) p v (q . r) (p v q) . (p v r)
MORGAN (p . q) p v q (p v q) p . q
IMPLICADOR (p q) (p v q) (p q ) (p.q)
RECP-CONTRAR (p q) (q p) (q p) (p q)
DEF.BICONDIC. (p q) [(p q).(q p)] (p q) [(p v q).(q v p)]
DEF.DISY.FUERT. (p v q) [(p v q). (p . q)] (p v q) [(p v q).(p vq)]
ABSORCIN p . ( p v q ) p p v ( p . q ) p
p . (~p v q ) p . q p v (~p . q ) p v q
~p . (p v q ) ~p . q ~p v (p . q ) ~p v q
IDEMPOTENCIA p. p p pv p p
ELEM.NEUTRO p v T T ; p . T p p v C p ; p . C C
PRINC.LGICOS p p T ; ~ (p . ~ p) T p v ~ p T
SIMPLIFICACIN O REDUCCIN DE ESQUEMAS
MOLECULARES POR LEYES LGICAS
Consiste en aplicar leyes lgicas en esquemas
moleculares para obtener esquemas ms bsicos.
Ejemplo: Simplificar el siguiente esquema:


| | ) ( ) ( q p p q p . .
| | ) ( ) ( q p p q p . . v (IMPLICADOR)
| | ) ( q p p .
(ABSORCIN)
| | ) ( ) ( q p p . v (IMPLICADOR)
) ( q p p . v
(DOBLE NEGAC.)
p (ABSORCIN)
SIMPLIFICACIN O REDUCCIN DE ESQUEMAS
MOLECULARES POR LEYES LGICAS
Ejemplo 2: Reducir la siguiente expresin:

| | | | p q p q p p v v . ) ( ) (
| | | | p q p q p p v v v . v ) ( ) ( (IMPLICADOR)
| | p q p q p v . v v ) ( ) ( (ABSORCIN, MORGAN)
p q p v v ) (
(ABSORCIN)
q p p v v ) ( (ASOCIATIVA)
) ( q p v
(IDEMPOTENCIA)
) ( q p
(IMPLICADOR)
SIMPLIFICACIN O REDUCCIN DE ESQUEMAS
MOLECULARES POR LEYES LGICAS
EJERCICIOS 1: Simplificar los siguientes esquemas.
1.
2.
3.
4.
5.
6.
| | q p q p . v ) (
| | | | ) ( ) ( q p p r q p . . v .
| | ) ( ) ( p r r q p . . .
| | | | ) ( ) ( q p p p q p . v
) ( ) ( q p q p v v
| | ) ( ) ( ) ( p q q p q p . v .