Implicación y doble disyunción (ID)

Contrapositiva

Doble negación (DN)

De Morgan (DM)

Conmutatividad (Con.)

Asociativa (Aso.)

Distributiva (Dis.)

Idempotencia (Ide.)

Neutro (Ne.)

Inversos (Inv.)

Dominación (Dom.)

Absorción (Abs.)

Exportación (Exp.)