Verifique las siguientes leyes lgicas desarrollando las tablas de verdad de cada una de ellas.

Leyes

Nombre

( p ) = p (p y p) = p (p o p) = p poq =qop pyq =qyp (p o q) o r = p o (q o r) (p y q) y r = p y (q y r)

Involucin Idempotencia

Conmutatividad de la disyuncin Conmutatividad de la conjuncin Asociatividad de la disyuncin Asociatividad de la conjuncin

Involucin ( p ) V F V V

p V F

Idempotencia V F V F V F

Conmutativa de la disyuncin
p q

V F F V

V V F F

V V F V

V V V V

V V F V

Conmutativa de la conjuncin
p q

V V F F

V F F V

V F F F

V V V V

V F F F

Asociatividad de la disyuncin
p V V V V F F F F q V V F F F V V F r V F F V V F V F V V V V F V V F V V F V V V V F V V V V V V V F V V V V V V V V V V V V V V V F

Asociatividad de la conjuncin
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 V V F F F F F F V F F F V F F F V F F F F F F F V V V V V V V V V F F F F F F F