ACTIVIDAD N 4

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
F

p
F
V

(p) p
V
V

( p )
V
F

Idempotencia
p
V
F

p
V
F

pp
V
F

pp
V
F

(pp)p
V
V

(pp)p
V
V

Conmutatividad de la disyuncin
p

pq

qp

pq qp

V
V
F
F

V
F
V
F

V
V
V
F

V
V
V
F

V
V
V
V

pq
V
F
F
F

qp
V
F
F
F

pqqp
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
F
F
F
F

V
V
V
V
V
V
F
F

q)
V
V
F
F
V
V
F
F

V
V
V
V
V
V
V
F

r
V
F
V
F
V
F
V
F

V
V
V
V
V
V
V
V

p
V
V
V
V
F
F
F
F

V
V
V
V
V
V
V
F

(q
V
V
F
F
V
V
F
F

V
V
V
F
V
V
V
F

r)
V
F
V
F
V
F
V
F

r
V
F
V
F
V
F
V
F

V
V
V
V
V
V
V
V

p
V
V
V
V
F
F
F
F

V
F
F
F
F
F
F
F

(q
V
V
F
F
V
V
F
F

V
F
F
F
V
F
F
F

r)
V
F
V
F
V
F
V
F

Asociatividad de la conjuncin

(p
V
V
V
V
F
F
F
F

V
V
F
F
F
F
F
F

q)
V
V
F
F
V
V
F
F

V
F
F
F
F
F
F
F