ALGEBRA BOOLEANA Y SU

APLICACION EN SISTEMAS
DIGITALES
Amancha Guangasi Sonia Elizabeth
seamancha@espe.edu.ec
Ramrez Chango Jssica Mireya
jmramirez6@espe.edu.ec

Ingeniera Electromecnica, Sexto Nivel, Universidad de las Fuerzas Armadas ESPE

- Extensin Latacunga, Mrquez de Maenza S/N Latacunga, Ecuador.

Fecha de presentacin: 09/11/2016

representado por una letra mayscula. El complemento

RESUMEN: Se realiza el estudio del lgebra de es el inverso de una variable y se lo representa como una
Boole la cual permite el anlisis de las operaciones y barra encima de la misma.
simplificaciones de los circuitos lgicos a travs de
leyes reglas y teoremas del lgebra booleana. A travs 2.1.1 OPERACIONES LGICAS DEL
de este estudio se puede determinar los efectos que los LGEBRA DE BOOLE
diversos circuitos digitales ejercen sobre las entradas
lgicas y manipular variables lgicas con el objeto de Suma de Boole: es equivalente a la operacin OR. En el
determinar el mejor mtodo de ejecucin de cierta lgebra de Boole el trmino suma es una suma de
funcin de un circuito. literales.

Tabla 1. Smbolo y tabla de verdad para una

PALABRAS CLAVE: lgebra booleana, Circuitos compuerta OR de tres entradas
lgicos, Fuente: Sistemas digitales Principios y
aplicaciones,2007 [1]
1. INTRODUCCIN A B B =
0 0 0 0
Los circuitos digitales operan en modo binario 0 0 1 0
donde cada voltaje de entrada y salida es un 0 o un 1. 0 1 0 0
Esta caracterstica de los circuitos lgicos permite la
utilizacin del lgebra de Boole como herramienta de 0 1 1 0
anlisis y diseo de sistemas digitales. 1 0 0 0
1 0 1 0
El objeto de estudio se basa en la utilizacin de las
operaciones lgicas del lgebra booleana adems del 1 1 0 0
uso adecuado de las reglas, leyes y teoremas del 1 1 1 1
lgebra de Boole que permitirn el anlisis de circuitos
lgicos De la tabla se puede apreciar que la operacin
OR produce un resultado de 1 siempre que cualquiera
2. DESARROLLO de sus entradas sea 1. En cualquier otro caso la salida
ser 0.
La expresin = + se lee como x es igual a A
2.1 LGEBRA DE BOOLE OR B. [1]

El lgebra de Boole es conocida como las Multiplicacin de Boole: es equivalente a la

matemticas de los sistemas digitales y se la utiliza como operacin AND. En el lgebra de Boole, un trmino
una herramienta para analizar y simplificar sistemas producto es un producto de literales.
lgicos; es diferente del lgebra ordinaria, ya que solo se
puede tener dos valores posibles 0 y 1.

Los trminos variable, complemento y literal son trminos

utilizados en el lgebra booleana.

El estado de una variable est representado por el 0 y el

1 y se lo conoce como nivel lgico normalmente

1
 2.1.3 REGLAS DEL ALGEBRA DE BOOLE
Tabla 2. Tabla de verdad y smbolo para una [2]
compuerta AND de tres entradas Tabla 3. Reglas bsicas del lgebra de Boode
Fuente: : Sistemas digitales Principios y Fuente: Fundamentos de sistemas digitales,2006 [2]
aplicaciones,2007 [1] 1. + 0 = 7. . =
A B B = 2. + 1 = 1 8. . = 0
0 0 0 0 3. . 0 = 0 9. =
4. . 1 = 10. + = (1 + ) =
0 0 1 0
5. + = 11. +
= ( + ) +
0 1 0 0 = +
0 1 1 0 6. + = 1 12. ( + )( + ) = +
1 0 0 0 , Pueden representar una sola variable o
una combinacin de variables.
1 0 1 0
1 1 0 0 2.2 TEOREMAS DE MORGAN
1 1 1 1
Los teoremas de DeMorgan proporcionan una
En la tabla 2 se muestra que un trmino verificacin matemtica de la equivalencia entre las
producto es igual a 1 slo si cada uno de los literales puertas NAND y negativa-OR, y las puertas NOR y
del trmino es 1. Un trmino producto es igual a 0 negativa-AND. [1]
cuando uno o ms de los literales son iguales a 0.
Los teoremas de DeMorgan son de extrema utilidad
Operaciones NOT: es distinta a la operacin OR en la simplificacin de expresiones en la cuales se
y AND, ya que puede realizarse sobre una sola variable invierte un producto o suma de variables. [1]
de entrada. Por ejemplo, si la variable est sujeta a la
operacin NOT, el resultado de x puede expresarse as: El complemento de un producto de variables es
= (1) igual a la suma de las variables [2]
La operacin NOT tambin se conoce como inversin o Esto quiere decir que el complemento de dos o ms
complementacin. variables a las que se aplica la operacin AND es
equivalente a aplicar la operacin OR a los
2.1.2 LEYES DEL LGEBRA DE BOOLE complementos de cada variable.
Las leyes bsicas del lgebra de Boole son las Se lo expresa de la siguiente manera:
mismas que el lgebra ordinaria.

= + (7)
Ley conmutativa: establece que el orden en que
se aplica a las variables la operacin OR o AND es Puertas y tablas de equivalentes a este teorema se
indiferente. describen a continuacin:

+ =+ (2)
= (3)

Ley asociativa: establece que el orden en que se

aplica a las variables la operacin OR o AND a ms de
dos variables el resultado es el mismo
independientemente de la forma en que se agrupen las
variables
Ilustracin 1. Equivalencias de las puertas lgicas y
+ ( + ) = ( + ) + (4) tablas de verdad que ilustran los teoremas DeMorgan
() = () (5) Fuente: Fundamentos de sistemas digitales,2006 [2]
Ley distributiva: establece que aplicar la operacin El complemento de una suma de variables es
OR a dos o ms variables y luego aplicar el resultado igual al producto de los complementos de las
AND al resultado de esa operacin y a otra variable variables [2]
aislada, es equivalente a aplicar la operacin AND a la Esto quiere decir que el complemento de dos o ms
variable aislada con cada uno de los sumandos y luego variables a las que se aplica la operacin OR es
realizar la operacin OR con los productos resultantes. equivalente a aplicar la operacin AND a los
complementos de cada variable. [2]
( + ) = + (6)

+ = (8)

Puertas y tablas de equivalentes a este teorema se

describen a continuacin:

2
 Paso 3. Aplicar la ley distributiva a los dos trminos entre
parntesis.
+ + + + (20)

Paso 4. Aplicar la regla nmero 7 (. = ) al primer

trmino y la regla 10 [ + = (1 + ) = ] a
Ilustracin 2. Equivalencias de las puertas lgicas y los trminos tercero y ltimo.
tablas de verdad que ilustran los teoremas DeMorgan + + + (21)
Fuente: Fundamentos de sistemas digitales,2006 [2]
Paso 5. Aplicar la regla 10, + = (1 + ) = , a los
2.2.1 APLICACIONES DE LOS trminos primero y segundo
TEOREMAS DEMORGAN [2] + + (22)

El siguiente procedimiento ilustra la aplicacin de Paso 6. Aplicar la regla 10 [ + = (1 + ) = ] a los

los teoremas de DeMorgan y del algebra de Boole a la trminos primero segundo.
expresin [2] + (23)


+ + ( + ) (9) 2.4 FORMAS ESTNDAR DE LAS
EXPRESIONES BOOLEANAS
1. Identificamos los trminos a los que se
pueden aplicar los teoremas de DeMorgan y 2.4.1 SUMA DE PRODUCTOS [2]
consideremos a cada termino como una sola
variable ,por lo tanto Cuando dos o ms productos se suman mediante
la adicin booleana, la expresin resultante se denomina

+ = (10) suma de productos. Una suma de productos puede

( + ) = (11) implementarse con una puerta OR y dos o ms puertas
2. Dado que AND. [2]

+ = (12) En una expresin con formato de suma de
productos, una barra no puede extenderse sobre ms de


una variable; sin embargo, ms de una variable puede
( + ) + (( + )) = ( + ) (( + ))
(13) tener una barra encima. Por ejemplo, una suma de
productos puede contener el trmino pero no el
. [2]
trmino
3. Utilizamos la regla 9 para eliminar la barra
doble sobre el trmino de la izquierda (esto
no es parte del teorema de DeMorgan ) Conversin de una expresin general a formato de
suma de productos.
= Cualquier expresin lgica puede ser transformada


a una expresin suma de productos aplicando el lgebra
( + )(( + )) = ( + )(( + )) (14) booleana. Por ejemplo, la expresin [2]
+ ( + ) = + + (24)
4. Aplicando el teorema de DeMorgan al
segundo termino Forma estndar de la suma de productos.
Una suma de productos estndar es aquella en la


( + ) (( + )) = ( + ) (
+ ( + ))(15) que todas las variables del dominio aparecen en cada
uno de los trminos. Por ejemplo,
5. Empleando la regla 9 para cancelar las +
+
(25)
barras dobles sobre la parte E + F del es una expresin de suma de productos estndar.
trmino.
Conversin de una suma de productos a su forma
( + ) (
+ ( + )) = ( + )(
+ + )(16) estndar. [2]
Para convertir una suma de productos a su forma
2.3 SIMPLIFICACIN MEDIANTE estndar se debe seguir los siguientes pasos:
Paso 1. Multiplicar cada trmino producto no
EL LGEBRA DE BOODE [2] estndar por un trmino formado por la suma de la
variable que falta y su complemento. Con esto se obtiene
Una expresin booleana simplificada emplea el dos trminos producto.
menor nmero de puertas en la implementacin de una Paso 2. Repetir el paso 1 hasta que todos los trminos de
determinada expresin la expresin contengan todas las variables o sus
Ejemplo. Simplificar la siguiente expresin booleana complementos del dominio.

+ + (17)
2.4.2 PRODUCTO DE SUMAS [2]
Paso 1. Aplicar el teorema de Morgan al primer trmino. Cuando dos o ms trminos suma se multiplican, la
()
() + (18) expresin resultante es un producto de sumas. Por
ejemplo: ( + )( + + ).
Paso 2. Aplicar el teorema de Morgan a cada uno de los
trminos entre parntesis. En una expresin producto de sumas, una barra no
( + )( + ) + (19) puede extenderse nunca sobre ms de una variable,
aunque ms de una variable puede tener una barra

3
encima. Por ejemplo, un producto de sumas puede Tabla 4. Tabla de verdad para una expresin de
contener el trmino + pero no el
+ . suma de productos
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
Conversin de un producto de sumas a su Entradas Salid Trmino
forma estndar. [2] a producto
Un producto de sumas estndar es aquel en el que todas
las variables del dominio o su complemento aparecen en
0 0 0 0
cada uno de los trminos de la expresin. Por ejemplo:
( + + )( + + ) 0 0 1 1
0 1 0 0
Para convertir a un producto de sumas estndar se 0 1 1 0
utiliza la regla booleana nmero 8: . =0. 1 0 0 1
1 0 1 0
Paso 1. Aadir a cada trmino suma no estndar un
trmino formado por la variable que le falta y su 1 1 0 0
complemento. Esto da lugar a la aparicin de dos 1 1 1 1
trminos suma.

Paso 2. Aplicar la regla booleana nmero 12: + 2.4.5 CONVERSIN DE UN PRODUCTOS DE

= ( + )( + ). SUMAS A TABLA DE VERDAD

Paso 3. Repetir el paso 1 hasta que todos los
trminos suma resultantes contengan todas las variables
del dominio en su forma complementada o no
complementada.
2.4.3 CONVERSIN DE UNA SUMA DE
PRODUCTOS ESTNDAR EN UN PRODUCTO DE
SUMAS ESTANDAR [2]
Paso 1. Evaluar cada trmino producto de la
expresin suma de productos. Es decir, determinar los
nmeros binarios que representan estos trminos.
Paso 2. Determinar todos los nmeros binarios no
incluidos al realizar la evaluacin del paso 1.
Paso 3. Escribir los trminos suma equivalente para
cada valor binario del paso 2 y expresarlos en forma
producto de sumas.
Un producto de sumas es igual a 0 slo si y slo si
al menos uno de los trminos suma es igual a 0. Para
construir la tabla de verdad de un producto de sumas,
basta con enumerar todas las posibles combinaciones de
valores binarios de las variables del mismo modo que se
hace en una suma de productos. Por ltimo, se escribe
un 0 en la columna de salida () para cada valor binario
que hace que la suma de productos estndar sea 0, y se
escribe un 1 para los restantes valores binarios.
Ejemplo: desarrollar una tabla de verdad para la
expresin producto de sumas estndar siguiente
( + + )( + + )( + + )( + + )( +
+ )
Tabla 5. Tabla de verdad para una expresin de
producto de sumas
Fuente: Fundamentos de Sistemas Digitales,2006
Entradas Salida Trmino
suma

Utilizando una forma similar, se puede pasar un 0 0 0 0 ( + + )

producto de sumas a una suma de productos. 0 0 1 1
0 1 0 0 ( + + )
2.4.4 CONVERSIN DE UNA SUMA DE 0 1 1 0 ( + + )
PRODUCTOS A TABLA DE VERDAD [2] 1 0 0 1
Una suma de productos es igual a 1 slo si y slo si
1 0 1 0 + + )
al menos uno de los productos es igual a 1. Para construir 1 1 0 0 + +
la tabla de verdad de una suma de productos, basta con 1 1 1 1
enumerar todas las posibles combinaciones de valores
binarios de las variables. A continuacin, hay que pasar De la tabla 5 se puede observar que al existir tres
la suma de productos a su formato estndar. Por ltimo, variables en el dominio, existen 8 posibles
se escribe un 1 en la columna de salida () para cada combinaciones de valores binarios de las variables.
valor binario que hace que la suma de productos estndar
sea 1, y se escribe un 0 para los restantes valores
binarios. 2.5 DIAGRAMAS LGICOS [2]
Ejemplo: desarrollar una tabla de verdad para la La realizacin prctica (implementacin) de las
expresin de suma de productos estndar siguiente funciones lgicas se hace por medio de las compuertas
lgicas que son la base constructiva de la electrnica
+ + digital. [2] Entre ellas tenemos:
La puerta AND
La puerta OR
La puerta NAND
La puerta NOR

4
Puerta AND.
Es una de las puertas bsicas con la que se
construyen todas las funciones lgicas. Una puerta AND
puede tener dos o ms entradas y realiza la operacin
que se conoce como multiplicacin lgica. La puerta AND
tiene dos o ms entradas y una nica salida, como
indican los smbolos lgicos [2]
Ilustracin 3. Smbolos lgicos estndar de la puerta
AND con dos entradas
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
En cada uno de los smbolos, las entradas se sitan
a la izquierda y la salida a la derecha.
La puerta AND genera una salida a nivel alto slo
cuando todas las entradas estn a nivel alto. Cuando
cualquiera de la entradas est a nivel bajo, la salida se
pone a nivel bajo. Por tanto, el propsito bsico de una
puerta AND es determinar cundo ciertas condiciones de
entrada son simultneamente verdaderas, como indican
todas sus entradas estando a nivel alto, y producir una
salida a nivel alto, para indicar que esas condiciones son
verdaderas. [1]
En una puerta AND de dos entradas, la salida es
un nivel alto si y estn a nivel alto; y es un nivel bajo
si es un nivel bajo, o si es un nivel bajo, o si y
estn a nivel bajo. [1]
Ilustracin 4. Todos los niveles lgicos posibles para
una puerta AND de dos entradas
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
Puerta OR
Una puerta OR puede tener dos o ms entradas y
realiza la operacin que se conoce como suma lgica.
Una puerta OR tiene dos o ms entradas y una salida,
como indican los smbolos lgicos. [1]
Ilustracin 5. Smbolos lgicos estndar de la puerta
OR con dos entradas
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
Una puerta OR puede tener cualquier nmero de
entradas mayor o igual que dos.
Una puerta OR genera un nivel alto a la salida
cuando cualquiera de sus entradas est a nivel alto. La
salida se pone a nivel bajo slo cuando todas las
entradas estn a nivel bajo. Por tanto, el propsito de una
puerta OR es determinar cundo una o ms de sus
entradas estn a nivel alto y generar una salida a nivel
alto que indique esta condicin. [1]
En una puerta OR, la salida es un nivel alto si
cualquiera de las entradas, , o ambas, estn a nivel
alto; es un nivel bajo si ambas entradas, , estn a
nivel bajo. [1]
Ilustracin 6. Todos los posibles niveles lgicos para
una puerta OR de 2 entradas
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
Puerta NAND
Las puertas NAND se pueden combinar para
implementar las operaciones de las puertas AND, OR y
del inversor .El trmino es una contraccin de
, e implica una funcin AND con la salida
complementada (negada). [1]
Ilustracin 7.Smbolos lgicos estndar de la puerta
NAND
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
En la ilustracin 7 se muestra el smbolo lgico
estndar para la puerta NAND de 2 entradas y su
equivalente empleando los smbolos de la puerta AND
seguida de un inversor, donde el smbolo significa
equivalente a.
La puerta NAND genera una salida a nivel bajo slo
cuando todas las entradas estn a nivel alto. En una
puerta NAND de dos entradas, la salida X es un nivel bajo
si las entradas A y B estn a nivel alto; X es un nivel alto
si A o B estn a nivel bajo o si ambas, A y B, estn a nivel
bajo. [1]
Ilustracin 8. Funcionamiento de la puerta NAND de 2
entradas
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
Puerta NOR
La puerta NOR, al igual que la puerta NAND, es un
til elemento lgico porque tambin se puede emplear
como una puerta universal; es decir, las puertas NOR se
pueden usar en combinacin para implementar las
5
operaciones AND, OR y del inversor. El trmino NOR es
una contraccin de NOTOR e implica una funcin OR
con la salida invertida (complementada). [1]

Ilustracin 12. Todos los niveles lgicos posibles para

una puerta OR-exclusiva
Fuente: Fundamentos de Sistemas Digitales,2006 [2]

Puerta NOR-exclusiva
Ilustracin 9. Smbolo lgico estndar para la puerta La salida de una puerta NORexclusiva se pone a
NOR nivel alto slo cuando las dos entradas estn a niveles
Fuente: Fundamentos de Sistemas Digitales,2006 [2] lgicos opuestos. Esta operacin se puede expresar, en
funcin de dos entradas A y B y una salida X, del
La puerta NOR genera una salida a nivel bajo siguiente modo: [1]
cuando cualquiera de sus entradas est a nivel alto. Slo
cuando todas sus entradas estn a nivel bajo, la salida se
pondr a nivel alto. En una puerta NOR de dos entradas:
la salida X es un nivel bajo si cualquiera de sus entradas
A o B est a nivel alto, o si ambas entradas A y B estn a
nivel alto; X es un nivel alto si A y B estn a nivel bajo. [1]

Ilustracin 13. Smbolos lgicos estndar para la

puerta NOR-exclusiva
Fuente: Fundamentos de Sistemas Digitales,2006 [2]

En una puerta NORexclusiva, la salida X es un

nivel alto si la entrada A est a nivel bajo y la entrada B
est a nivel alto; o si la entrada A est a nivel alto y la
entrada B est a nivel bajo; X es un nivel bajo si tanto A
como B estn a nivel alto o bajo. [1]
Ilustracin 10. Funcionamiento de la puerta NOR de 2
entradas
Fuente: Fundamentos de Sistemas Digitales,2006 [2]

Puerta OR-exclusiva
La salida de una puerta ORexclusiva se pone a
nivel ALTO slo cuando las dos entradas estn a niveles
lgicos opuestos. Esta operacin se puede expresar, en
funcin de dos entradas A y B y una salida X. [1]
Ilustracin 14. Todos los niveles lgicos posibles para
una puerta NOR-exclusiva
Fuente: Fundamentos de Sistemas Digitales,2006 [2]

2.6 DIAGRAMAS DE TIEMPOS [3]

Ilustracin 11. Smbolos lgicos estndar de la puerta
OR
Fuente: Fundamentos de Sistemas Digitales,2006 [2]
En una puerta ORexclusiva, la salida X es un
nivel alto si la entrada A est a nivel bajo y la entrada B
est a nivel alto; o si la entrada A est a nivel alto y la
entrada B est a nivel bajo; X es un nivel bajo si tanto A
como B estn a nivel alto o bajo. [1]
El reloj es una seal digital peridica que se utiliza
como seal de temporizacin bsica para sincronizar
otras seales. Por ejemplo, se usa una seal de reloj para
determinar el periodo de bit, el periodo del reloj es el
periodo del bit, en este caso los cambios de la seal han
de producirse en un flanco de la seal de reloj. [3]

6
 Ilustracin 15.Sealdigital peridica lneas separadas. Se necesitan ms lneas que en la
Fuente: Serdis INTRODUCCIN A LOS transmisin serie pero es ms rpida.
CONCEPTOS DIGITALES,2003 [3]

Un diagrama de tiempos o cronograma es una

grfica de forma de ondas digitales que muestra la 3. CONCLUSIONES
relacin temporal entre varias seales, y como vara cada
seal en relacin con las dems. Un cronograma puede
Dependiendo del correcto uso de las reglas, leyes
contener cualquier nmero de seales relacionadas entre
y teoremas del lgebra booleana se podr realizar un
s. Examinando el diagrama de tiempos, se puede
correcto anlisis de los circuitos digitales y una mejor
determinar el estado (nivel alto, nivel bajo) de cada
manipulacin de las compuertas lgicas.
sealen cualquier instante, y el momento en el que una
seal cambia de estado.

4. REFERENCIAS

[1] R. Tocci, Sistemas digitales, Mexico:

Pearson, 2007.
[2] T. Floyd, Fundamentos de Sistemas Digitales,
Madrid: Pearson, 2006.
[3] J. L. M. Marticorena, Profesor Molina, 2002. [En
lnea].
Ilustracin 16. Diagramas de tiempos para seales Available:http://www.profesormolina.com.ar/
digitales electronica/componentes/int/elec_digit.htm.
Fuente: Serdis INTRODUCCIN A LOS [ltimo acceso: 08 Noviembre 2016].
CONCEPTOS DIGITALES,2003 [3]

Por datos se entiende un grupo de bits que

transporta algn tipo de informacin. Dentro de un
sistema digital, los datos han de transferirse de unos
circuitos a otros para poder llevar a cabo una
determinada funcin. Estas transferencias pueden
hacerse en serie o en paralelo. En la transmisin serie los
datos se envan bit a bit a lo largo de un nico conductor.
En el intervalo t0 t1 se transfiere el primer bit, en el
intervalo t1 t2 se transfiere el segundo y as
sucesivamente. Para transmitir ocho bits en serie hacen
falta ocho intervalos de tiempo. En la transmisin en pa
ralelo todos los bits del grupo se envan en paralelo por