ALGEBRA BOOLEANA

El lgebra de Boole son las matemticas de los sistemas digitales por lo que
se requiere conocimiento bsico de esta para analizar los circuitos lgicos.
OPERACIONES BOOLEANAS
Suma Booleana
Un trmino suma es equivalente a la operacin OR, sin que haya operacin
AND en la expresin. La puerta OR es un sumador booleano. La operacin
OR y sus reglas bsicas se ilustran en la Fig. :

Multiplicacin Booleana

Figura 1. Suma booleana

Fuente: Floyd,2006

Un trmino producto es equivalente a la operacin AND, sin que haya

ninguna operacin OR en la expresin. La puerta AND es un sumador
booleano. La operacin AND y sus reglas bsicas se ilustran en la Fig. :

Figura 2. Multiplicacin booleana

Fuente: Floyd,2006

LEYES DEL ALGEBRA BOOLEANA

Las leyes bsicas del lgebra booleana son las mismas que las del lgebra
ordinaria.
Leyes conmutativas
La ley conmutativa de la suma est definida como:

A + B=B+ A
La Fig. ilustra esta ley y como se aplica a la puerta OR:

Figura 3. Aplicacin de la ley conmutativa de la suma

Fuente: Floyd,2006

La ley conmutativa de la multiplicacin est definida como:

AB=BA
La Fig. ilustra esta ley y como se aplica a la puerta AND:

Figura 4. Aplicacin de la ley conmutativa de la multiplicacin

Fuente: Floyd,2006

Leyes asociativas
La ley asociativa de la suma est definida como:

A + ( B+C )=( A + B ) +C
La Fig. ilustra esta ley y como se aplica a puertas OR de dos entradas:

Figura 5. Aplicacin de la ley asociativa de la suma

Fuente: Floyd,2006

La ley asociativa de la multiplicacin est definida como:

A ( BC )=( AB)C
La Fig. ilustra esta ley y como se aplica a puertas AND de dos entradas:

Figura 6. Aplicacin de la ley asociativa de la multiplicacin

Fuente: Floyd,2006

Ley distributiva
La ley distributiva est definida como:

A ( B+C )= AB + AC

La Fig. ilustra esta ley y como se aplica a puertas AND de dos entradas:

Figura 7. Aplicacin de la ley distributiva

Fuente: Floyd,2006

POSTULADOS DEL ALGEBRA BOOLEANA

Los postulados son tiles en la manipulacin y simplificacin de expresiones
booleanas, se deducen de las aplicaciones en puertas lgicas. Algunos de
estos se deducen de otros mas sencillos.

A +0=0

A +1=1
A . 0=0

A .1=A
A + A=A

A + A=1
A . A= A

A . A=0
A
A=
A + AB= A

B= A+ B
A+A

( A + B ) ( A+ C ) =A +BC

TEOREMAS DE DeMORGAN
El primer teorema de DeMorgan se enuncia como:

El complemento de un producto de variables es igual a la suma de los

complementos de las variables.
Este teorema se puede expresar mediante la frmula:

=X
+ Y
XY
Las puertas equivalentes se muestran en la Fig. :

Figura 8. Primer teorema de DeMorgan

Fuente: Floyd,2006

El segundo teorema de DeMorgan se enuncia como:

El complemento de una suma de variables es igual al producto de los
complementos de las variables.
Este teorema se puede expresar mediante la frmula:

= X Y
X +Y
Las puertas equivalentes se muestran en la Fig. :

Figura 9. Segundo teorema de DeMorgan

Fuente: Floyd,2006

FORMAS ESTANDAR DE LAS EXPRESIONES BOOLEANAS

Suma de Productos
Se denomina as a la expresin resultante de sumar dos o ms trminos
producto mediante adicin booleana.
Una suma de productos puede implementarse con una puerta OR y dos o
ms puertas AND, como se muestra en la Fig. , lo que requiere un circuito
lgico AND/OR. Adems, puede implementarse con puertas NAND y una
puerta negativa-OR ya que las inversiones de las mismas se cancelan y
resulta igual que en el caso anterior.

Figura 10. Implementacin de una suma de productos

Fuente: Floyd,2006

Producto de Sumas
Se denomina as a la expresin resultante de multiplicar dos o ms trminos
suma mediante multiplicacin booleana. En un producto de sumas una barra
no puede extenderse sobre ms de una variable.
Un producto de sumas puede implementarse con una puerta AND y dos o
ms puertas OR, como se muestra en la Fig. , las puertas OR se conectan a
la entrada de la puerta AND y la salida de la puerta AND es igual al producto
de sumas.

Figura 11. Implementacin de un producto de sumas

Fuente: Floyd,2006

EJERCICIOS DE APLICACIN
Aplicar los teoremas de DeMorgan a cada una de las siguientes expresiones:
(a)

( A+ B+C)
D

(b)

+
ABC

Solucin:
(a) Sea
forma

A + B+C=X
=X
+ Y
XY

D=Y . La expresin

( A+ B+C)
D

es de la

y se puede escribir como sigue:

) D= A +B+
C+ D

( A + B+C
A continuacin, aplicamos el teorema de DeMorgan al trmino

A + B+C


A
B C + D

A + B+C+
D=
(b) Sea

X Y

ABC =X

=Y . La expresin

+
ABC

es de la forma

X +Y

y podemos reescribirla de la forma:

+ =( ABC

)( )
ABC
A continuacin, aplicamos el teorema de DeMorgan a cada uno de los
trminos

ABC

+ B+
C)(
D+
E + F
)
( ABC)(
)=(
A

DIAGRAMA DE TIEMPOS
Es una grfica que relaciona dos o ms seales digitales en el tiempo y que
muestra la variacin del estado de cada una de estas seales respecto a las
dems. Tambin se le conoce como cronograma. El estado de una seal
puede ser ALTO o BAJO.
El diagrama de tiempos permite determinar el estado de una seal en
cualquier punto de tiempo y compararla con las dems seales. En la Fig. se
puede ver un diagrama de tiempos de tres seales:

Figura 12. Ejemplo de diagrama de tiempos

Fuente: Floyd,2006

RESUMEN: El lgebra booleana es una herramienta matemtica que sirve

para operar con los dgitos del sistema binario y operadores de compuertas
lgicas, es decir, el lgebra booleana es la matemtica de los sistemas
digitales, adems se puede hacer analogas entre esta y el lgebra
ordinaria. El sistema de numeracin binario y los cdigos digitales son
fundamentales en el campo de la electrnica digital.
PALABRAS CLAVES: Algebra booleana, circuitos lgicos, cdigos digitales,
variables.

INTRODUCCION
El presente documento incluye los conceptos generales de algebra booleana
y tipos de cdigos existentes. El lgebra booleana es un mbito importante
dentro de el estudio de los sistemas digitales y en el diseo de circuitos
lgicos, as mismo es importante conocer los diferentes tipos de cdigos
digitales como el binario, alfanumrico, Gray, CRC y Hamming.
CONCLUSIONES

El lgebra de Boole se limita al campo de los nmeros binarios y

permite operar con variables de circuitos lgicos.
El teorema de DeMorgan permite simplificar expresiones booleanas
de sumas y productos en expresiones ms sencillas.
Es importante que los productos de sumas o sumas de productos se
expresen de la forma estndar para la construccin de las tablas de
verdad

Bibliografa
[1 M. Morris Mano, Diseo Digital, Tercera ed., Mexico: PEARSON
] EDUCACION, 2003.
[2 T. Floyd, Fundamentos de Sistemas Digitales, Novena ed., Madrid:
] PEARSON EDUCACION, 2006.