Este documento describe las leyes fundamentales del álgebra de proposiciones. Explica la ley conmutativa, la ley asociativa, la ley distributiva, las leyes idempotentes, las leyes de complementación y las leyes de Morgan, que son reglas lógicas para transformar conjunciones y disyunciones en términos de negaciones.