UNIVERSIDAD DE SAN CARLOS DE GUATEMALA

FACULTAD DE INGENIERIA
DEPARTAMENTO DE MATEMATICAS
MATEMATICA PARA COMPUTACION 1
Lic. Carlos Augusto Morales Santacruz

DEMOSTRACION DE LAS LEYES DE De Morgan: Utilice las leyes de la lógica, para demostrar: (¬p¬q)¬(pq)

Demostración: el lado izquierdo de la Ley de De Morgan, será transformado en el lado derecho de ésta, cada
paso de la demostración será acompañado de la Ley correspondiente.

(¬p¬q) (¬p¬q)  F Sea F una contradicción: a  (aF)

(¬p¬q) [¬p¬q ((pq) ¬(pq))]
(¬p¬q) [(¬p¬q (pq)) (¬p¬q ¬ (pq))]
(¬p¬q) [(¬p¬q p)(¬p¬q q) (¬p¬q ¬ (pq))]
(¬p¬q) [(T¬q )(¬pT) (¬p¬q ¬ (pq))]
(¬p¬q) [(TT) (¬p¬q ¬ (pq))]
(¬p¬q) [(T (¬p¬q ¬ (pq))]
(¬p¬q) [((pq) ¬(pq)) (¬p¬q ¬ (pq))]
(¬p¬q) [¬ (pq) ( pq(¬p¬q)]
(¬p¬q) [¬ (pq) (( pq¬p) ( pq¬q)]
(¬p¬q) (¬ (pq) FF)
(¬p¬q) ¬ (pq)
F ((pq) ¬(pq)), es decir: F  (a¬a)
Distributividad: [a(bc) ]  [(ab)  (ac)]
Distributividad: [a(bc) ]  [(ab)  (ac)]
Sea T una tautología: T(p ¬p), T(q¬q)
T(p T), T(qT)
(TT) T
T ((pq) ¬(pq))
Distributividad: [(ab)  (ac)]  [a(bc) ]
Distributividad: [(ab)  (ac)]  [a(bc) ]
F(p¬p) F (q¬q) (FF)F
a  (aF)

Al aplicar el Teorema del Dual, es decir:  sustituida por ,  sustituida por  se tiene: (¬p¬q)¬(pq).
Aplicando la analogía entre Lógica y el Algebra de Boole, al sustituir: p por x, q por y,  por +,  por ,  por =,
la negación ¬por el complemento , se tiene:
(¬p¬q)¬ (pq) es transformado en: x + y=x y
Ejemplo 2: Expresar el conectivo o-exclusiva en términos del conectivo nor

(pq)(pq)(¬p¬q) Equivalencia lógica

(pq)¬¬( pq)(¬p¬q) Doble negación
(pq)¬( ¬( pq) ¬ (¬p¬q)) Leyes de De Morgan
(pq) ( ( pnorq) nor (¬pnor¬q)) Definición de nor
(pq) ( ( pnorq) nor (¬pnor¬q) (a nor a)¬a
(pq) ( ( pnorq) nor ((pnorp) nor (qnorq)))