DESARROLLO

Involución

p (¬p) ¬(¬p) P <=> ¬(¬p)V F V VF V F V

Idempotenciap p p y p p ó pV V V VF F F F

Conmutatividad de la disyunción

Conmutatividad de la conjunciónp q p ó q q ó p p y q q y pV V V V V VF V V V F FV F V V F FF F F F F F

Asociatividad de la disyunción

Asociatividad de la conjunciónp q r p ó q ó r q ó r ó pV V V V V V VV V F V V V VV F V V V V VV F F V V F VF V V V V V VF V F V V V VF F V F V V VF F F F F F F

p q r p y q y r q y r y pV V V V V V VV V F V F F FV F V F F F FV F F F F F FF V V F F V FF V F F F F FF F V F F F FF F F F F F F