Teoremas con múltiples variables

Teoremas 9 y 10: a estos teoremas se les conoce como Leyes conmutativas,

las cuales indican que no importa el orden en que se operen dos
variables con OR o con AND, el resultado es el mismo.

Teoremas 11 y 12: son conocidos como leyes asociativas, y afirman que se

pueden agrupar las variables en una función AND o en una OR de la
forma deseada.

Teorema 13: es la ley distributiva, esta ley estipula que una expresión se
puede desarrollar multiplicando término por término, como en el álgebra
ordinaria. Asimismo, indica que se puede factorizar una expresión; es
decir, si se tiene una suma de dos o más términos, cada uno de los cuales
contienen una variable común, esta se puede factorizar, como en el
álgebra ordinaria.