Introducción a la Informática Ramirez, Carlos

Unidad 2 - Actividad 4

Luego de la lectura del tema 4 de la Unidad 2, le solicitamos que:

Verifique las siguientes leyes lógicas desarrollando las tablas de verdad de cada una de ellas.

Leyes Nombre

¬ (¬ p ) = p Involución

(p y p) = p Idempotencia

(p o p) = p

poq =qop Conmutatividad de la disyunción

pyq =qyp Conmutatividad de la conjunción

(p o q) o r = p o (q o r) Asociatividad de la disyunción

(p y q) y r = p y (q y r) Asociatividad de la conjunción

Ley de Involución
p ¬p ¬(¬p) ¬(¬p) p
V F V V
F V F V

Ley de Idempotencia
p p p  p p  p p p  p p  p p
V V V V V V
F F F V F V
 Ley de conmutatividad de la disyunción
p q p  q q  p p  q q  p
V V V V V
V F V V V
F V V V V
F F F F V

Ley de conmutatividad de la conjunción

p q p  q q  p p  q q  p
V V V V V
V F F F V
F V F F V
F F F F V

Ley de asociatividad de la disyunción

(p  q)  r  p  (q  r)
V V V V V V V V V V V
V V V V F V V V V V F
V V F V V V V V F V V
V V F V F V V V F F F
F V V V V V F V V V V
F V V V F V F V V V F
F F F V V V F V F V V
F F F F F V F F F F F

Ley de asociatividad de la conjunción

(p  q)  r  p  (q  r)
V V V V V V V V V V V
V V V F F V V F V F F
V F F F V V V F F F V
V F F F F V V F F F F
F F V F V V F F V V V
F F V F F V F F V F F
F F F F V V F F F F V
F F F F F V F F F F F

--------------0000000000000-------------