1. Propiedad Asociativa de la suma lgica. La ley asociativa de la adicin para tres variables se escribe, en forma algebraica de la siguiente manera.

A + (B+C) =(A+B)+C Esta ley nos dice que, al conjuntar varias variables, no importa el orden en el que stas se agrupen. Esta ley aplicada a las compuertas AND.

2. Propiedad Asociativa del producto lgico. La ley asociativa de la multiplicacin para tres variables se escribe de la siguiente manera: A (B C) = (A B) C Esta ley nos dice que, al conjuntar varias variables, no importa el orden en el que stas se agrupen. Esta ley aplicada a las compuertas AND.

3. Teorema de Morgan.

DeMorgan, matemtico que conoci a Boole, propuso dos teoremas que constituyen una parte muy importante del algebra de Boole. En trminos prcticos, los teoremas de DeMorgan nos demuestran las equivalencias entre las puertas NAND y negativa-OR, y las puertas NOR y negativa AND.

El primer teorema de DeMorgan se enuncia de la siguiente forma: El complemento de un producto de variables es igual a la suma de los complementos de las variables. O dicho de otra manera. El complemento de dos o ms variables a las que se aplica la operacin AND es equivalente a aplicar la operacin OR a los complementos de cada variable.

La frmula para expresar este teorema para dos variables es:

Las puertas equivalentes y tablas de verdad correspondientes son las siguientes.

El segundo teorema de DeMorgan se enuncia as:

El complemento de una suma de variables es igual al producto de los complementos de las variables. O dicho de otra manera: El complemento de dos o ms variables a las que se le aplica la operacin OR es equivalente a aplicar la operacin AND a los complementos de cada variable.

La frmula para expresar este teorema es.

Las puertas equivalentes y tablas de verdad correspondientes son las siguientes.