Actividad de Proceso N4

Sebastian Miranda
Verifique las siguientes leyes lgicas desarrollando las tablas de verdad de cada una de ellas.
Leyes
( p ) p
(p p) p
(p p) p
pqqp
pqqp
(p q) r p (q r)
(p q) r p (q r)

Nombre
Involucin
Idempotencia
Conmutatividad de la disyuncin
Conmutatividad de la conjuncin
Asociatividad de la disyuncin
Asociatividad de la conjuncin

Involucin
( p )

V
V
V
Se verifica ( p ) p es verdadera

Idempotencia
(p
F
V

F
V

p)
F
V

V
V

p
F
V

(p
F
V

F
V

p)
F
V

V
V

p
F
V

Se verifica que (p p) p y (p p) p son verdaderas

Conmutatividad de la disyuncin
p

q
F
F
F
F
V
V
V
V
F
V
V
V
Se verifica que p q q p es verdadero

V
V
V
V

q
F
F
V
V

F
V
V
V

p
F
V
F
V

V
V
V
V

q
F
F
V
V

F
F
F
V

p
F
V
F
V

Conmutatividad de la conjuncin
p

q
F
F
F
F
F
V
V
F
F
V
V
V
Se verifica que p q q p es verdadero

Asociatividad de la disyuncin
(p

q)

F
F
F
F
F
V
F
V
V
V
F
V
V
V
F
V
F
V
F
V
V
V
F
V
F
F
F
V
V
V
F
V
V
V
V
V
V
V
F
V
V
V
F
V
V
V
V
V
Se verifica que (p q) r p (q r) es verdadera

p
F
F
F
F
V
V
V
V

F
V
V
V
V
V
V
V

(q
F
F
V
F
F
F
V
F

F
V
V
V
F
V
V
V

r)
F
V
F
V
F
V
F
V

p
F
F
F
F
V
V
V
V

F
F
F
F
F
F
F
V

(q
F
F
V
V
F
F
V
V

F
F
F
V
F
F
F
V

r)
F
V
F
V
F
V
F
V

Asociatividad de la conjuncin
(p

q)

F
F
F
F
F
V
F
F
V
F
F
V
V
F
F
F
F
V
V
V
V
F
F
V
F
F
F
F
V
V
F
F
V
F
V
V
V
F
F
F
V
V
V
V
V
V
V
V
Se verifica que (p q) r p (q r) es verdadero