Involución

~ (~P) P

v f v vf v v fTautología

Imponencia

(p ^ p) P

v v v v vf f f v f(p v p) P

v v v v vf f f v fTautología

Conmutatividad de la disyunción

P v q q v p

v v v v v v vv v f v f v vf v v v v v ff f f v d f f

Conmutatividad de la conjunción

P ^ q q ^ p

v v v v v v vv f f v f f vf f v v v f ff f v v f f fTautología

Asociatividad de la disyunción

(P v q) v r p v (q v 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 V FF F F V V V F V F V VF F F F F V F F F F F

Tautología

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

Tautología