El lgebra de Boole son las matemticas de los sistemas digitales.

Es indispensable tener unos conocimientos

bsicos del lgebra booleana para estudiar y analizar los circuitos lgicos.
Los trminos variable, complemento y literal son trminos utilizados en el lgebra booleana. Una variable es
un smbolo (normalmente una letra mayscula en cursiva) que se utiliza para representar magnitudes lgicas.
Cualquier variable puede tener un valor de 0 o de 1. El complemento es el inverso de la variable y se indica
mediante una barra encima de la misma.

Leyes del lgebra de Boole

Las leyes bsicas del lgebra de Boole (las leyes conmutativas de la suma y la multiplicacin, y las leyes
asociativas de la suma y la multiplicacin y la ley distributiva) son las mismas que las del lgebra ordinaria.
Cada una de las leyes se ilustra con dos o tres variables, pero el nmero de variables no est limitado a esta
cantidad.
Leyes conmutativas La ley conmutativa de la suma para dos variables se escribe como sigue:
Ecuacin 4.1
A B B A

La ley conmutativa de la multiplicacin para dos variables es

Ecuacin 4.2
AB BA
Esta ley establece que el orden en que se aplica a las variables la operacin AND es indiferente.

Leyes asociativas La ley asociativa de la suma para tres variables se escribe como sigue:

Ecuacin 4.3
A (B C) (A B) C
Esta ley establece que cuando se aplica la operacin OR a ms de dos variables, el resultado es el mismo
independientemente de la forma en que se agrupen las variables.

Ley distributiva La ley distributiva para tres variables se escribe como sigue:

Ecuacin 4.5
A(B C) AB AC
Esta ley establece que aplicar la operacin OR a dos o ms variables y luego aplicar la operacin AND al
resultado de esa operacin y a otra variable aislada, es equivalente a aplicar la operacin AND a la variable
aislada con cada uno de los sumandos y luego realizar la operacin OR con los productos resultantes. La ley
distributiva expresa tambin el proceso de sacar factor comn en el que la variable comn A se saca como
factor de los productos parciales, como por ejemplo, AB AC A(B C). La Figura 4.5 ilustra la ley
distributiva mediante su implementacin de puertas.

Reglas del lgebra booleana

Aplicacin de los teoremas de DeMorgan

El siguiente procedimiento ilustra la aplicacin de los teoremas de DeMorgan y del lgebra de Boole a la
expresin:

Ejemplo

SIMPLIFICACIN MEDIANTE EL LGEBRA DE BOOLE

Muchas veces, a la hora de aplicar el lgebra booleana, hay que reducir una expresin a su forma ms
simple o cambiarla a una forma ms conveniente para conseguir una implementacin ms eficiente. El
mtodo que se va a tratar en esta seccin utiliza las reglas, leyes y teoremas del lgebra de Boole para
manipular y simplificar una expresin.
Ejemplo

Conversin de una expresin general a formato suma de productos

Cualquier expresin lgica puede ser transformada a una expresin suma de productos aplicando el lgebra
de Boole. Por ejemplo, la expresin A(BCD) puede convertirse en una suma de productos aplicando la ley
distributiva:
A (B CD) AB ACD