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

 (p o p) = p

Idempotencia

  p o q  = q o p

  p y q  = q y p

Conmutatividad de la disyunción

Conmutatividad de la conjunción (p o q) o r = p o (q o r)

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

Asociatividad de la disyunción

Asociatividad de la conjunción 

Involución

p ¬p ¬(¬p) ¬(¬p)=pV F V V

F V F V

Idempotencia

p p p̬̭̭̭̬�����/\p p/\p=p p\/p p\/p=pV V V V V VF F F V F V

Conmutatividad de la disyunción

p q p\/q q\/p p\/q= q\/pV V V V VV F V V VF V V V VF F F F V

Conmutatividad de la conjunción

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

V V V V VV F F F VF V F F VF F F F V

Asociatividad de la disyunción

(p \/ q) \/ r = p \/ (q\/r) V V V V V V V V V V VV V V V F V V V V V FV V F V V V V V F V VV V F V F V V V F F FF V V V V V F V V V VF V V V F V F V V F FF F F V V V F V F F VF F F F F V F F F F F

Asociatividad de la conjunción

(p /\ q) /\ r = p /\ (q/\r) V V V V V V V V V V VV V V F F V V F V F FV F F F V V V F F F VV F F F F V V F F F FF F V F V V F F V V VF F V F F V F F V F FF F F F V V F F F F VF F F F F V F F F F F