Ley asociativa para la conjuncin y disyuncin

(PQ)R P(QR) (PvQ)vR Pv(QvR)

P Q R PQ (PQ) Q P(QR Pv (PvQ)v Qv Pv(QvR
R R ) Q R R )
O O O O O O O O O O O
O O I O O O O O I I I
O I O O O O O I I I I
O I I O O I O I I I I
I O O O O O O I I O I
I O I O O O O I I I I
I I O I O O O I I I I
I I I I I I I I I I I

Ley distributiva para la conjuncin respecto a la disyuncin y disyuncin respecto a la conjuncin

(PQ)vR (PvR)(QvR) (PvQ)R (PR)v(QR)
P Q R P (PQ)v Pv Qv (PvR)(Qv Pv (PvQ) P Q (PR)v(Q
Q R R R R) Q R R R R)
O O O O O O O O O O O O O
O O I O I I I I O O O O O
O I O O O O I O I O O O O
O I I O I I I I I I O I I
I O O O O I O O I O O O O
I O I O I I I I I I I O I
I I O I I I I I I O O O O
I I I I I I I I I I I I I

Ley conmutativa para conjuncin y disyuncin Leyes de Morgan

PQ QP PvQ QvP (PQ) PvQ (PvQ) PQ
P Q PQ QP PvQ QvP PQ (PQ) Pv Pv (PvQ PQ
P Q Q Q ) P Q
O O O O O O O I I I I O I I I I
O I O O I I O I I O I I O I O O
I O O O I I O I O I I I O O I O
I I I I I I I O O O O I O O O O

Equivalencia de la implicacin y negacin de la implicacin Ley de la contrapuesta

PQ PvQ PQ PvQ PQ QP
P Q PQ P Pv P PQ Q Pv PQ Q QP
Q Q P
O O I I I I I I I I I I I
O I I I I I O O O I O I I
I O O O O O I I I O I O O
I I I O I O I O I I O O I

Leyes de indempotencia Ley de doble negacin

T PvT T PT P Pv P P P P
P T T PvT PT Pv P P P P
O I O O I O O O O I O
O I O O I O O O I O O
I I O O I I I O
I I O O I I I O