LGEBRA BOOLEANA Y CDIGOS DIGITALES

Quintero Tanguila Carlos Andrs

caquintero1@espe.edu.ec
Salazar Montalvo Pablo Patricio
ppsalazar1995@espe.edu.ec

RESUMEN: En la presente investigacin se

tratarn temas relacionados a sistemas digitales,
como son: lgebra booleana, cdigos binarios, cdigo
de Gray, CRC, alfanumrico, Hamming, cada uno de
stos cdigos tienen aplicaciones especficas como
son: codificar cantidades numricas, informacin,
caracteres, detectar errores en la codificacin.
Tambin existen diagramas que nos ayudan a
visualizar las expresiones booleanas como son
diagramas de tiempo y diagrama lgico.

Tabla 1 Cdigo BCD.

PALABRAS CLAVE: lgebra, Boole, binario,

cdigos, diagramas.

1. INTRODUCCIN

Decimal

BCD

0001

0010

0011

0100

0101

0110

0111

1000

1001

Ejercicio:
Codificar los siguientes nmeros decimales a BCD:

742 = 0111 0100 0010

9654 = 1001 0110 0101 0100

138 = 0001 0011 1000

En sta seccin se analizarn los temas

relacionados a sistemas digitales de forma resumida,
clara y precisa, se har una descripcin con algunos
ejemplos cuando sea necesario, por ejemplo en la
suma y multiplicacin booleana como tambin en los
teoremas de DeMorgan.

Cdigo Gray: Esto cdigo tiene la ventaja de

que en sucesiones consecutivas de nmeros, para
pasar de un nmero a su consecutivo slo cambia un
bit, se utiliza para aplicaciones donde el cdigo
binario puede generar algn tipo de error, la Tabla 5
muestra el cdigo Gray para 4 bits y el cdigo de 3
bits se muestra en la tabla 6.

2. DESARROLLO
2.1 CDIGOS BINARIOS
Los sistemas binarios representan no slo
nmeros, tambin pueden representar otros
elementos de informacin, los cdigos deben estar en
el sistema binario ya que las computadoras slo
almacenan 1 y 0.
Cdigo BCD: Decimal codificado en binario, por
sus siglas en ingls. En ste cdigo se representa
cada dgito decimal mediante 4 bits para cada uno,
por ejemplo: el nmero decimal 459 se representa en
binario de la siguiente manera: 0100 0101 1001, en el
cdigo BCD slo se representan los nmeros del 0 al
9 (ver Tabla 4).

Tabla 2 Cdigo Gray de 4 bits

Decimal
Cdigo Gray
0
0000
1
0001
2
0011
3
0010
4
0110
5
0111
6
0101
7
0100
8
1100
9
1101
10
1111
11
1110
12
1010
13
1011
14
1001
15
1000

acarreos se descartan. [1]

Ejemplo:
Cdigo Gray:
Binario:

1 1+1 0+0 0+1 1+0=1 0 0 1 1

2.2 LGEBRA DE BOOLE
Son las matemticas para los sistemas digitales
que permiten analizar los circuitos lgicos. Existen
varios trminos que se deben conocer como variable,
complemento y literal.
Variable: Se refiere a un smbolo que se utiliza para
representar magnitudes lgicas.
Complemento: Se refiere al inverso de la magnitud
de la variable.
Literal: Es una variable o el complemento de
cualquier variable.

Tabla 3 Cdigo Gray de 3 bits.

Decimal
0
1
2
3
4
5
6
7

1 1 01 0

Cdigo Gray
000
001
011
010
110
111
101
100

2.2.1 Suma Booleana

En el lgebra booleana la suma se refiere a una
suma de literales. En los circuitos lgicos la suma es
solamente una operacin OR ya que la compuerta
OR es bsicamente un sumador booleano. Para sta
operacin existen algunas reglas (ver Fig. 1):

Conversin de cdigo binario a cdigo Gray:

Existen dos reglas para sta conversin:
1.

El bit ms significativo (el que est ms a la

izquierda, MSB) en el cdigo Gray es el
mismo que el correspondiente MSB del
nmero binario. [1]

2.

Yendo de izquierda a derecha, sumar cada

par adyacente de los bits en cdigo binario
para obtener el siguiente bit en cdigo Gray.
Los acarreos deben descartarse. [1]

Figura. 1 Reglas de la suma booleana.

Fuente: Fundamentos de sistemas digitales, 2006 [1]

Ejercicio:
Determine los valores de A, B y C que hacen
que el trmino suma

sea igual a 0.

1+0=0+0+0=0

A + B+C=
1+

Ejemplo:
Binario:

A + B+C

10011

Gray:

1 1+0 0+ 0 0+1 1+1=1 1 0 1 0

2.2.2 Multiplicacin booleana

sta multiplicacin es equivalente a la operacin
AND ya que sta compuerta es un multiplicador
booleano, las reglas bsicas son las siguientes (ver
Fig. 2):

Conversin de Gray a binario:

Para ello se siguen las siguientes reglas:
1. El bit ms significativo (bit ms a la
izquierda) en el cdigo binario es el
mismo que el correspondiente bit en
cdigo Gray. [1]
2. A cada bit del cdigo binario generado
se le suma el bit en cdigo Gray de la
siguiente posicin adyacente. Los

Figura. 3 Ilustracin de la regla 1.

Fuente: Fundamentos de sistemas digitales, 2006. [1]
Figura. 2 Reglas para la multiplicacin booleana.
Fuente: Fundamentos de sistemas digitales, 2006 [1]

Regla 2, Ec. (7). (Ver ilustracin en Fig. 4)

A +1=1

( 0)

Ejercicio:
Determine los valores de A, B y C para que el
trmino producto

A B C

sea igual a 1.
Figura. 4 Ilustracin de la regla 2.
Fuente: Fundamentos de sistemas digitales, 2006. [1]

A B C=101=111=1
2.2.3 Leyes y reglas del lgebra de Boole

Regla 3, Ec. (8). (Ver ilustracin en Fig. 5)

Leyes

A0=0

Las leyes que se maneja en el lgebra de Boole

son las mismas que en el lgebra ordinaria
(conmutacin de la suma y multiplicacin, leyes
asociativas de la suma y multiplicacin y la ley
distributiva).
Ley conmutativa de la suma, Ec. (1):

A + B=B+ A

Figura. 5 Ilustracin de la regla 3.

Fuente: Fundamentos de sistemas digitales, 2006. [1]
( 0)
Regla 4, Ec. (9). (Ver ilustracin en Fig. 6)

Ley conmutativa de la multiplicacin, Ec. (2):

AB=BA

( 0)

A1= A

( 0)

( 0)

Ley asociativa de la suma, Ec. (3):

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

( 0)
Figura. 6 Ilustracin de la regla 4.
Fuente: Fundamentos de sistemas digitales, 2006. [1]

Ley asociativa de la multiplicacin, Ec. (4):

A ( BC )=( AB ) C

Regla 5, Ec. (10). (Ver ilustracin en Fig. 7)

( 0)

A + A=A

( 0)

Ley distributiva, Ec. (5):

A ( B+C )= AB+ AC

( 0)

Figura. 7 Ilustracin de la regla 5.

Fuente: Fundamentos de sistemas digitales, 2006. [1]
Regla 6, Ec. (11). (Ver ilustracin en Fig. 8)

Reglas del lgebra booleana

A + A=1

Regla 1, Ec. (6). (Ver ilustracin en Fig. 3)

A +0=A

( 0)

( 0)

Regla 11, Ec. (16). (Ver ilustracin en Fig. 13 y

demostracin en la Tabla 2.)

Figura. 8 Ilustracin de la regla 6.

Fuente: Fundamentos de sistemas digitales, 2006. [1]

B= A+ B
A+A

Regla 7, Ec. (12). (Ver ilustracin en Fig. 9)

AA= A

( 0)

( 0)

Figura. 9 Ilustracin de la regla 7.

Fuente: Fundamentos de sistemas digitales, 2006. [1]

Figura. 13 Ilustracin de la conexin para la regla 11.

Fuente: Fundamentos de sistemas digitales, 2006. [1]

Regla 8, Ec. (13). (Ver ilustracin en Fig. 10)

A A=0

( 0)

Tabla 5 Demostracin de la regla 11.

A

Figura. 10. Ilustracin de la regla 8.

Fuente: Fundamentos de sistemas digitales, 2006. [1]

0
1
0
0

B
0
1
1
1

0
1
1
1

Regla 12, Ec. (17). (Ver ilustracin en Fig. 14 y

demostracin en la Tabla 3.)
( 17)
( A + B ) ( A+ C ) =A +BC

Regla 9, Ec. (14). (Ver ilustracin en Fig. 11)

A
A=

0
1
0
1

A+B

B
0
0
1
1

A+

( 0)

Figura. 11 Ilustracin de la regla 9.

Fuente: Fundamentos de sistemas digitales, 2006. [1]
Regla 10, Ec. (15). (Ver ilustracin en Fig. 12 y
demostracin en la Tabla. 1)

A + AB= A

( 0)

Figura. 14 Ilustracin de la conexin para la regla 12.

Fuente: Fundamentos de sistemas digitales, 2006. [1]
Tabla 6 Demostracin de la regla 12.

Figura. 12 Ilustracin de conexin de la regla 10.

Fuente: Fundamentos de sistemas digitales, 2006. [1]
Tabla 4 Demostracin de la regla 10.
A
0
0
1

B
0
1
0

A+AB
0
0
1

A+B

A+C

(A+B)(A+C)

BC

A+BC

0
0
0
0
1
1
1
1

0
0
1
1
0
0
1
1

0
1
0
1
0
1
0
1

0
0
1
1
1
1
1
1

0
1
0
1
1
1
1
1

0
0
0
1
1
1
1
1

0
0
0
1
0
0
0
1

0
0
0
1
1
1
1
1

2.2.4 Teoremas de DeMorgan

Segunda forma cannica:

Est formada por el producto de sumas o
maxitrminos,
se
desarrolla
eligiendo
las
combinaciones de entradas para las cuales la salida
sea 0. Se descartan las salidas iguales a 1, Ec. (21).
La funcin se desarrolla segn los valores de la tabla
7.

Teorema 1. El complemento de un producto de

variables es igual a la suma de los complementos de
las variables, Ec. (18). [1]

=X
+ Y
XY

( 0)

+ Y +Z ) ( 0)
F=( X+ Y +Z )( X + Y + Z)( X
Teorema 2. El complemento de una suma de
variables es igual al producto de los complementos
de las variables, Ec. (19). [1]

= X Y
X +Y

2.4 Diagramas lgicos y de tiempo

DIAGRAMA DE TIEMPO

( 0)

Representan la forma de la seal digital en el

dominio del tiempo. En la figura 15 se ilustra un
diagrama de tiempo para una compuerta OR.

Ejercicio:
Aplicar los
expresin:

Sea

teoremas de DeMorgan

X Y Z
W

a la

= A ; X=B

W
; Y =C y Z=D

B+
C + D

ABCD=
A+
C+
D=
W
+ X+
Y + Z
A + B+
+ X + Y + Z=W

W
+ X +Y + Z

Figura. 15 Diagrama de tiempo de una compuerta

OR.
Fuente: Andreina Guzmn, 2010. [3]

DIAGRAMA LGICO

2.3 FRMAS CANNICAS

Representa las conexiones de las compuertas

lgicas como se muestra en la Fig. 16.

A partir de una tabla de verdad es posible

obtener mltiples expresiones para la misma funcin,
y todas estas expresiones son equivalentes entre
ellas. [2]
Primera forma cannica:
Est formada por una suma de productos o
mintrminos, y se desarrolla eligiendo las
combinaciones de input (entradas) para las cuales la
salida sea 1, descartando las que son igual a 0, Ec.
(20). La tabla 7 muestra las combinaciones posibles
para 3 variables lgicas.

Figura. 16 Diagrama lgico con varios componentes.

Fuente: Andreina Guzmn, 2010. [3]

2.5 Cdigo Alfanumrico

Cdigo Alfanumrico
Podemos procesar datos alfanumricos, es
decir cdigos que se representen las letras del
abecedario, nmeros, signos y entre otros
caracteres especiales. Segn [4] un cdigo
alfanumrico completo debe incluir las 26 letras
minsculas, las 26 letras maysculas, los 10
dgitos numricos, 7 signos de puntuacin y de
20 a 40 caracteres adicionales, como _, /, #, %,
*, y as sucesivamente.

Tabla 7 Combinaciones para tres variables.

X
0
0
0
0
1
1
1
1

Y
0
0
1
1
0
0
1
1

Z
0
1
0
1
0
1
0
1

F
0
1
0
1
1
1
0
1

Cdigo ASCII
El
cdigo
ASCII
(Cdigo
estndar
estadounidense para el intercambio de
informacin) es el que ms se usa a nivel
mundial. Est conformado por 7 bits, que

X Y( Z0)+ XYZ
F= X Y Z + X YZ+ X Y Z+
5

abastece para representar los caracteres

alfanumricos como los son los de un teclado
convencional incluyendo tabulacin y retroceso.
En la tabla xx-x exhibe los caracteres
alfanumricos que estas en cdigo ASCII con
sus equivalentes hexadecimal y decimal.

Tabla 9. Cdigos Alfanumricos

Tabla 8 Cdigos Alfanumricos.

2.6 Cdigo Hamming

El cdigo Hamming es utilizado para la correccin de
errores detectados por paridad de bit, pero est
limitado para corregir bit errneo, su nombre se debe
a que fue inventado por R. W. Hamming.
En [5] se enuncia que: En el cdigo Hamming, se
aaden k bits de paridad a una palabra de datos de n
bits para formar una nueva palabra de n+k bits. Las
posiciones de bit se numeran sucesivamente de 1 a
n+k. Las posiciones numeradas con potencias de 2
se reservan para los bits de paridad. Los dems bits
son los bits de datos. Este cdigo puede usarse con
palabras de cualquier longitud.
Trmino a usarse en el cdigo Hamming son los
siguientes:
n: nmero de bits de datos
k: nmero de bits de comprobacin

Px: bit de paridad

Cx: bit de comprobacin
C: resultado de la comparacin de paridad de Cx
Se tiene que cumplir la siguiente expresin

2 1 n+k

donde n ya tenemos del nmero a verificar y k es el

valor que tenemos que manipular.
K debe ser 3 o mayor.
Para una mejor comprensin, explicaremos con un
ejemplo como es el desarrollo:
Para el nmero 27 que en binario es 11011
n=5 entonces

Posici
n de
bit:

Nmer
o en
binario

000
1

001
0

001
1

010
0

010
1

011
0

011
1

100
0

100
1

Caso B

Caso C

P4

P8

Sin error
Con error en el
bit 1
Con error en el
bit 1

1
0

2
0

3
1

No
hub
o
error
Erro
r en
el bit
1
Erro
r en
el bit
3

4
0

C8
0
0

C4
0
0

C2
0
0

Si C=0 no hay error, pero si es diferente, C nos da la

posicin donde hay el error.

2.7 Cdigo CRC

Los Px se ubican en la posicin de los mltiplos de 2

en orden ascendente y las dems posiciones se
ubica en nmero a verificar respectivamente.
Posteriormente se calcula el valor de paridad de cada
Px.
P1= XOR de los bits(de la posicin en 1 del binario)
P1= XOR de los bits(3,5,7,9)=1111=0
P2= XOR de los bits(de la posicin en 2 del binario)
P2= XOR de los bits(3,6,7)= 101=0
P4= XOR de los bits(de la posicin en 3 del binario)
P4= XOR de los bits(5,6,7)= 101=0
P8= XOR de los bits(de la posicin en 4 del binario)
P8= XOR de los bits(9)= 1=1
OR es una operacin que efecta funcin impar.
Llenamos los espacios de Px correspondiente en
cada posicin.
Posicin de bit:

Para el caso A no hay error, en el caso B hay error en

en el bit 1 y en el caso C hay error en el bit 3,
entonces se cambia el valor de 1 a 0 o de 0 a 1
segn corresponda en la posicin en la que hubo el
error. Evaluando los casos anteriores con XOR:

2^3-15+3
78
No cumple con k=3, probamos con 4
2^4-17+3
1510
Con k=4 cumple, tenemos 4 bits de paridad.

P2

( 0)

P1

Posici
n de bit:
Caso A

Procedimiento
T= Trama de (k+n) bits a transmitir, con n<k
n= Bits de comprobacin
M= Mensaje de k bits, los primeros k bits de T
P= Patrn de n+1 bits, este es el divisor elegido.
Como mnimo el bit ms significativo y el menos
significativo debe ser 1. [6]

T =2n M / P
Ejemplo:

5
1

M=1010001101 (10 bits)

P=110101 (6 bits) (n+1)
n=5 bits

25=100 0

El nmero obtenido se vuelve a verificar la paridad

con
XOR
para
cada
Cx.

M=
1010001101
2^5=
10000
T 101000110100000

C1= XOR de los bits(1,3,5,7,9)= 01111=0

C2= XOR de los bits(2,3,6,7)= 0101=0

1 0 1 0 0 0 1 1 0 1 0 0 0 | 110101
110101
0111011
110101
00111010
110101
00111110
110101

C4= XOR de los bits(4,5,6,7)= 0101=0

C8= XOR de los bits(8,9)= 11=0
Ahora C=C8C4C2C1=0000 esto indica que no
hay error, pero C 0 entonces hay error, por ejemplo

( 0)

00101100
110101
0110010
110101
0001110 R

los errores aplicando paridad al bit, pero se limita a

que solo es para un nico error.
El cdigo CRC es utilizados para la correccin
de errores, especialmente los errores de rfaga, este
incluye al cdigo hamming.

El residuo R se suma a 2^n M para dar T

101000110101110
T=
101000110101110
transmitir

Mensaje

final

4. REFERENCIAS

La recepcin del mensaje ser vuelta a evaluar

1 0 1 0 0 0 1 1 0 1 0 1 1 1 0 | 110101
110101
0111011
110101
00111010
110101
00111110
110101
00101111
110101
0110101
110101
0000000 R
No hay errores en el receptor, el residuo es cero.

[1 T. L. Floyd, Fundamentos de
] sistemas digitales, Madrid: Pearson
Educacin S. A., 2006.
[2 A. Aguero, SlideShare, 26 04
] 2010. [En lnea]. Available:
http://es.slideshare.net/aaguero190
3/formas-canonicas-3863277.
[3 A. Guzmn, SlideShare, 30 10
] 2010. [En lnea]. Available:
http://es.slideshare.net/ANDREINAG
UZMAN/diagramas-de-tiempo.
[4 R. Tocci, G. Widmer y G. Moss,
] Sistemas Digitales. Principios y
Aplicaciones, vol. Dcimo, Mxico:
PEARSON EDUCACIN, 2007.
[5 M. M. Morris, Diseo digital, Mxico:
] PEARSON EDUCACIn, 2003.
[6 C. Amaya, Deteccin y correccin
] de errores, 2009. [En lnea].
Available:
http://es.slideshare.net/carlosamay
at/hamming-y-crc. [ltimo acceso: 9
Noviembre 2016].
[7 S. Felici, J. Prez, G. Martn y D. De
] Ves, Descripcin de
comportamiento de Sistemas de
Comunicaciones en Lenguaje
Verilog-HDL, 2010. [En lnea].
Available:
http://www.uv.es/~felici/journals/jou
rnal-0.pdf. [ltimo acceso: 9
Noviembre 2016].

3. CONCLUSIONES Y
RECOMENDACIONES
Los cdigos binarios representan cantidades
numricas para que un ordenador pueda entenderlos
e interpretarlos ya que slo se pueden ingresar dos
cantidades: 0 y 1. Existen varios cdigos binarios,
entre ellos el BCD y el cdigo Gray. El cdigo Gray se
utiliza en aplicaciones donde el cdigo binario puede
generar errores.
El lgebra de Boole es muy importante
conocerla para analizar expresiones lgicas, ya que
no se puede implementar el lgebra tradicional.
Existen dos tipos de diagramas para visualizar
las expresiones booleanas, el de tiempo que
representa una grfica en el dominio del tiempo los
valores 0 y 1, para visualizar las seales de entrada y
salida; los diagramas lgicos son la representacin
de las compuertas lgicas y cmo estn conectadas.
El cdigo alfanumrico nos permite expresar
valores numricos, del abecedario y caracteres
especiales que normalmente estn en el teclado.
El cdigo Hamming nos permite correccin de