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

ellas.

Leyes

Nombre

( p ) = p

Involucin

(p y p) = p

Idempotencia

(p o p) = p

poq =qop

Conmutatividad de la disyuncin

pyq =qyp

Conmutatividad de la conjuncin

(p o q) o r = p o (q o r)

Asociatividad de la disyuncin

(p y q) y r = p y (q y r)

Asociatividad de la conjuncin

Involucin
p
V

p
F
V

(p)
V
F

(p)=p
V
V

Idempotencia
p
V
F

p
V
F

pp/\p
V
F

p/\p=p
V
V

p\/p
V
F

p\/p=p
V
V

Conmutatividad de la disyuncin
p
V
V
F
F

q
V
F
V
F

p\/q
V
V
V
F

q\/p
V
V
V
F

p\/q= q\/p
V
V
V
V

p/\q
V
F
F
F

q/\p
V
F
F
F

p/\q= q/\p
V
V
V
V

Conmutatividad de la conjuncin
p
V
V
F
F

q
V
F
V
F

Asociatividad de la disyuncin
(p
V
V
V
V
V
F
V
F
F
V
F
V
F
F
F
F

\/
V

q)

\/
V

r
V

=
V

p
V

\/
V

(q\/r)
V
V
V
V
V
F
F
V
V
F
F
F
V
V
V
V
F
F
F
F
V
F
F
F

Asociatividad de la conjuncin
(p
V
V
V
V

/\
V
V

q)

/\
V

r
V

=
V

p
V

/\
V

(q/\r)
V
V
V
V
F
F

V
F
V
F
F
V
F
V
F
F
F
F

F
V
F
F
V
V
V
F
F
V
F
F

F
F
V
F
F
F