Actividad N 4:

Leyes:
p
V
F

p
F
V

(p)
V
F

pyp
V
F
F
V

p
V
F
V
F

pop
V
F
V
F

p
V
V
F
F

Involucin:
(p) = p

Idempotencia:
(p y p) = p
p
V
F
V
F
(p o p) = p
p
V
V
F
F

Conmutatividad de la disyuncin:
pOq=qOp
P
V
V
F
F

Q
V
F
V
F

poq
V
F
F
F

qop
V
F
F
F

pyq
V
F
F
V

qyp
V
F
F
V

Conmutatividad de la conjuncin:
pyq=qyp
p
V
V
F
F
Asociatividad de

q
V
F
V
F
la disyuncin:

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

poq

V
V
F
F

V
F
V
F

V
F
F
F

V
F
V
F

Q
V
F
V
F

r
V
F
F
V

qor
V
F
F
F

(p o q) o
r
V
F
F
F
q
V
F
V
F

p o (q o r)
V
F
F
F

Asociatividad de la conjuncin:
(p y q) y r = p y (q y r)
p
V
V
F
F

q
V
F
V
F

pyq
V
V
F
F

r
V
V
F
F

(p y q) y r
V
V
F
F

q
V
V
F
F

r
V
F
V
F

qyr
V
V
F
F

p
V
V
F
F

p y (q y r)
V
V
F
F