INSTITUTO TECNOLOGICO DE TLAHUAC

21 de noviembre de 2013

Propiedad conmutativa. p V v F F p V V F F q v F v F q V F V F pvq V V V F p^q V F F F p V V F F

p V V F F q V F V F

q v F V F

q^p V V V f q^p V F F F

Propiedad asociativa p V V V V F F F F q V V F F V F V F r V F V F V V V F (qvr) V V V F V V V F pv(qvr) V V V V V V V F p V V V V F F F F q V V F F V V F F r V F V F V F V F (pvq) V V V F V V F F (pvq)vr V V V V V V V F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

(p^r) V F F F v F F F

(p^q)^q V F F F F F F F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

(p^q) V V F F F F F F

(p^q)^r V F F F F F F f

Diana Laura Torres Hernndez 1s3 sistemas computacionales

INSTITUTO TECNOLOGICO DE TLAHUAC

21 de noviembre de 2013

Propiedad Distributiva

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

(qvr) V V V F V V V F

P^(q^r) V F F F F F F F

p V V V V F F F F p V V V V F F F F

q V V F F V V F F q V V F F V V F F

r V F V F V F V F r V F V F V F V F

(qvr) V V F F F F F F p V V V V F F F F

P^(q^r) V V V F F F F F (pvq)^(pvr) V V V V V F F F

p V V V V F F F F

q V V F F V V F F

r V F V F V F V F

(q^r) V F F F V F F F

(Pv(q^r)) V V V V V F F F

(pvq) V V V V V F V F

Propiedad idemportantes p (pvp) V V F F P V F

P (p^p) V V F F

P V F

Diana Laura Torres Hernndez 1s3 sistemas computacionales

INSTITUTO TECNOLOGICO DE TLAHUAC

21 de noviembre de 2013

Propiedades de la negacin p p (p) V F V F V F P V F

Propiedades de la negacin (continuacin). p V V F F q V F V F (p^q) V F F F (p^q) F V V V p V V F F q V F V F p F F V V q F V F V (p)^(q) F F F V

p V V F F

q V F V F

(pvq) V v V F

(pvq) F F F V

p V V F F

q V F V F

p F F V V

q F V F V

(p)v(q) F V V V

Diana Laura Torres Hernndez 1s3 sistemas computacionales