UNIVERSIDAD TCNICA DE AMBATO

Facultad de Ingeniera en Sistemas, Electrnica e Industrial

INFORME
Ttulo:

lgebra de Boole
Carrera:
Ingeniera Industrial
rea Acadmica:
Ciencias Bsicas
Lnea de Investigacin:
Industrial
Ciclo Acadmico y Paralelo:
5to A Industrial

Nombre:
Acosta Christian
Analuisa Christian
Martnez Roco
Morejn David
Quinatoa Jessica

Mdulo y Docente:
ELECTRONICA DIGITAL:
Ing. Santiago Collantes Vaca

1.1

Ttulo
ALGEBRA DE BOOLE

1.2

Objetivos

Indicar las principales operaciones del lgebra de Boole

Demostrar las diferentes Compuertas en el lgebra de Boole

1.3

Palabras clave:
Biestable, or, nor, and, xor, nand y xnor

1.4

Introduccin

George Boole fue un matemtico y lgico britnico.Como inventor del

lgebra de Boole, que marca los fundamentos de la aritmtica
computacional moderna, Boole es considerado como uno de los
fundadores del campo de las Ciencias de la Computacin. En 1854
public An Investigation of the Laws of Thought on Which are Founded
the Mathematical Theories of Logic and Probabilities, donde desarroll
un sistema de reglas que le permitan expresar, manipular y simplificar
problemas lgicos y filosficos cuyos argumentos admiten dos estados
(verdadero o falso) por procedimientos matemticos. Se podra decir
que es el padre de los operadores lgicos simblicos y que gracias a su
lgebra hoy en da es posible operar simblicamente para realizar
operaciones lgicas.
1.5

Materiales y Metodologa
ALGEBRA DE BOOLE

Se aplica de forma generalizada en el mbito del diseo electrnico.

Claude Shannon fue el primero en aplicarla en el diseo de circuitos de
conmutacin elctrica biestables, en 1948. Esta lgica se puede aplicar
a dos campos:
-

Al anlisis, porque es una forma concreta de describir cmo

funcionan los circuitos.
Al diseo, ya que teniendo una funcin aplicamos dicha lgebra,
para poder desarrollar una implementacin de la funcin

Para describir un circuito digital utilizaremos ecuaciones matemticas.

Sin embargo, estas ecuaciones tienen variables y nmeros que NO SON
REALES, por lo que NO podemos aplicar las mismas propiedades y

operaciones que conocemos. Hay que utilizar nuevas operaciones y

nuevas propiedades, definidas en el ALGEBRA DE BOOLE.

OPERACIONES
En el lgebra de Boole hay dos operaciones, denotadas con los smbolos
+ y . pero que no tienen nada que ver con las operaciones que todos
conocemos de suma y producto!!.
El + y el . Se aplican a bits, es decir, a nmeros que slo pueden ser el
0 el 1.
LA OPERACIN +
Esta operacin se define de la siguiente manera

0
0
1
1

+
+
+
+

0
1
0
1

=
=
=
=

0
1
1
1

EJEMPLO:
Imaginemos que hay una sala grande a la que se puede acceder a
travs de dos puertas. En el techo hay una nica lmpara y existen dos
interruptores de luz, uno al lado de cada puerta de entrada. Como es
lgico, la luz se enciende cuando algunos de los dos interruptores (o los
dos) se activan. Esto lo podemos expresar mediante una ecuacin
booleana. Para denotar el estado de uno de los interruptores
utilizaremos la variable booleana A, que puede tomar el valor 0
(Interruptor apagado) 1 (interruptor activado). Para el otro interruptor
usaremos la variable B. Y para el estado de la luz, 0 (apagada) y 1
encendida, usaremos la variable F.
El estado en el que se encuentra la luz, en funcin de cmo estn los
interruptores viene dado por la ecuacin booleana:

F=A+B
Que indica que F=1 (Luz encendida) si alguno de los interruptores est a
1 (activado).

LA OPERACIN
Esta operacin se define as:
En este caso, la operacin es ms intuitiva, puesto que
es igual que el producto de nmeros Reales. Si nos
fijamos, vemos que el resultado slo vale 1 cuando los
dos bits estn a 1, o visto de otra manera, el resultado
es 0 cuando alguno de los dos bits es 0. Vamos a ver
un ejemplo. Imaginemos una caja de seguridad de un
banco que slo se abre cuando se han introducido dos
llaves diferentes, una la tiene el director y la otra el jefe
de seguridad.

0.1=0
0.0=0
1.0=0
1.1=1

Si slo se introduce una de ellas, la caja no se abrir. Modelaremos el

problema as. Utilizaremos la variable A para referirnos a una de las
llaves (0 no introducida, 1 introducida) y la variable B para la otra
llave. Con la variable F expresamos el estado de la caja de seguridad
(0 cerrada y 1 abierta). El estado de la caja lo podemos expresar con
la ecuacin:

F=A.B
Que indica que la caja se abrir (F=1) slo si A=1 (una llave introducida)
y B=1 (la otra llave introducida). En cualquier otro caso, F=0, y por
tanto la caja no se abrir.
PROPIEDADES DEL ALGEBRA DE BOOLE
La negacin
La operacin de negacin nos permite obtener el estado
complementario del bit o variable booleana al que se lo aplicamos. Se
define de la siguiente manera:

0=1

1=0
Es decir, que si se lo aplicamos a 0 obtenemos 1 y si se lo aplicamos
al 1 obtenemos 0. Esta operacin nos permite cambiar el estado de

una variable booleana. Si A es una variable boolena, A tiene el estado

contrario.
Las operaciones del lgebra de Boole las podemos definir utilizando
tablas de verdad:

Operacin +

A B
0
0
1 0
0 1
1 1

Operacin .

A+B
0
1
1
1

A
0
0
1
1

B
0
1
0
1

A.B
0
0
0
1

Propiedad: las operaciones + y . Son

Conmutativa

A+B =B+A
A.B = B.A
ELEMENTO NEUTRO

A+0=A
A.1=1
DISTRIBUTIVA

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

A . (B+C) = A . B + A . C
ELEMENTO INVERSO

A + A=1

A . A=0
OPERACIN DE NEGACION DEFINIDAD POR:

0=1

1=0
TEOREMAS
Estos teoremas son utilizados algunos en problemas y otros en teora
ASOCIATIVA

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

A . B. C = (A.B).C = A . (B.C)
IDEMPOTENCIA

B+B=B
B. B = B
LEY DE ABSORCION

A + A.B = A
A .(A+B) = A
Este teorema es muy importante puesto que nos permite realizar
simplificaciones en las expresiones.

LEYES DE MORGAN
. Bn

B 1+ B 2+B 3+ B 4 +Bn ..= B 1. B 2. B3

B 2+ B3+ Bn

B 1 . B 2 . B 3. B 4. Bn= B1+
EJEMPLOS:
B= A+
B
A+
. D=( A+
B).(
C+
D)

A . B+C
A + B+
C

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

A . B+

TEOREMA DE SHANNON
B 1, B2 , B n+ .

B 2 , Bn ,+

Este teorema es una generalizacin de las leyes de Morgan. Lo que nos

dice es que si tenemos cualquier expresin booleana negada, es igual a
la misma expresin en la que todas las variables estn negadas y en la
que se sustituyan las operaciones + por . y viceversa.
EJEMPLO:
B 1+ B 2 . B3 =B1 . B 2+ B 3
FUNCIONES BOLEANAS
Para las operaciones booleanas se trabajara con el + y. Las mismas que
no tienen nada que ver con la suma y multiplicacin.

EJEMPLO:
Funcin booleana de una variable:
F ( A )= A
El valor devuelto por la funcin es el negado del que se le pasa por la
variable. Como la variable A es booleana, slo puede tomar los valores
0 y 1. Los que la funcin F toma son:

F ( 0 ) =0=1

F ( 1 )=1=0

1.-

F ( A , B )= A+ B

F(0,0)=0+0 = 0
F(0,1)= 0+1=1
F(1,0)= 1+0=1
F(1,1)= 1+1=1

2.-

F ( A , B ) =( A + B ) . B

F(0,0)=0+0.

0=0.1=0

F(0,1)=0+1.

1=1.0=0

F(1,0)=1+0.

0=1.1=1

F(1,1)=1+1.

1=1.0=0

REPRESENTACIN DE FUNCIONES LGICAS

REPRESENTACIN EN TABLA DE VERDAD
La tabla de verdad es una forma muy sencilla de definir una funcin.
Consiste en colocar en una tabla todas las posibilidades de las variables
de entrada junto con el valor que debe tener la salida. A continuacin se
muestra un ejemplo:

En este caso la funcin de salida F en vez de ponerla de forma sencilla,

se pone como F=F(A, B, C) para indicar de qu variables depende, es
decir, cules son sus variables de entrada (redundante aunque
formalmente correcto)
Escribir todas las combinaciones de las variables de entrada es bastante
sencillo porque slo hay que escribir los nmeros en binario y en sentido
creciente. En este caso desde el 0 en decimal 000 en binario hasta
el 8 en decimal o 111 en binario.
Se puede intuir que esta notacin puede requerir mucho tiempo y
espacio si el nmero de variables de entrada es muy grande.
REPRESENTACIN ALGEBRAICA
La notacin algebraica es la que se compone de la escritura de variables
y operadores del algebra booleana. A continuacin, se muestran dos
ejemplos, uno para una funcin con 3 variables de entrada y otro para 4
variables de entrada:

F = ABC + (A+B+C) + AC
Z = xy + (y+w) + (z+w)

Obsrvese dos detalles importantes:

1. Las funciones reflejan la estructura bsica de un circuito digital, es
decir, hay una salida (F, Z en este caso), que es resultado una
serie de operaciones a un conjunto de entradas.
2. A priori, no se puede asegurar que la funcin sea la ms simple
posible (con menos trminos y variables). Se ver ms adelante
que hay una tcnica que permite simplificar funciones de una
forma ms sencilla que aplicar las leyes y teoremas del algebra de
Boole.
Observando cada uno de los sumando podemos ver que hay factores
comunes en los sumandos 2 con 5 y 4 con 5 que conllevan
simplificacin:
F = AC + BC + BC(A + A) + AC(B + B)
Note que el trmino 5 se ha tomado dos veces, de acuerdo con la
propiedad que dice que A + A = A. Aplicando las propiedades del
lgebra de Boole (A + A' = 1 y A . 1 = A), queda
F = AC + BC + BC + AC
Repitiendo nuevamente el proceso,
F = A( C + C) + B( C + C) = A + B
No siempre las funciones son tan fciles de simplificar como la anterior.
El mtodo algebraico, por lo general, no resulta cmodo para los no
expertos, a los cuales, una vez simplificada una ecuacin le pueden
quedar serias dudas de haber conseguido la mxima simplificacin.
FORMA CANNICA
Una Funcin lgica, que est compuesta por operador lgico, puede ser
expresada en forma cannica usando los conceptos
de minitrmino y maxitrmino. Todas las funciones lgicas son
expresables en forma cannica, tanto como una suma de
minitrmino como producto de maxitrmino. Esto permite un mejor
anlisis para la simplificacin de dichas funciones.
MAXITRMINO
Dada una funcin lgica f(X1,X2,...,Xn), un maxterm es un trmino de la
misma constituido por la suma de las n variables de la funcin. Cada

variable aparece una y slo una vez, ya sea en su forma normal o

complementada. Ej.: f(A,B,C)
Clculo de i: se sustituye cada variable por 1 si
est en su forma natural, y por 0 si est en su
forma complementada.

MINITRMINO
Para una funcin booleana de n variables x1,...xn, un producto booleano
en el que cada una de las n variables aparece una sola vez (negada o
sin negar) es llamado minitrmino. Es decir, un minitrmino es una
expresin lgica de n variables consistente nicamente en el operador
conjuncin lgica (AND) y el operador complemento o negacin (NOT).
Por ejemplo, abc, ab'c y abc' son ejemplos de minitrminos para una
funcin booleana con las tres variables a, b y c.
CONVIRTIENDO ENTRE REPERESENTACIONES
Podemos convertir des una representacin cualquiera a otra

NUMRICA

La representacin numrica es una forma simplificada de representar las

expresiones cannicas. Si consideramos el criterio de sustituir una
variable sin negar por un 1 y una negada por un 0, podremos
representar el trmino, ya sea una suma o un producto, por un nmero
decimal equivalente al valor binario de la combinacin. Por ejemplo, los
siguientes trminos cannicos se representarn del siguiente modo
(observe que se toma el orden de A a D como de mayor a menor peso):
ABCD = 10112 = 1110
A + B + C + D = 01002 = 410
Para representar una funcin cannica en suma de productos
utilizaremos el smbolo n (sigma) y en producto de sumas n (pi), donde
n indicar el nmero de variables. As, la representacin numrica
correspondiente a la tabla de verdad del punto anterior quedar como:
F = 3(2, 4, 5, 6) = 3(0, 1, 3, 7)
Matemticamente se demuestra, que para todo trmino i de una
funcin, se cumple la siguiente ecuacin:
F = [n(i)]' = n(2n-1-i )
A modo de ejemplo se puede utilizar esta igualdad para obtener el
producto de sumas a partir de la suma de productos del ejemplo
anterior:
F = 3(2, 4, 5, 6) = [3(2, 4, 5, 6)]' ' = [3(0, 1, 3, 7)]' = 3(0, 1, 3,
7)

GRFICA
La representacin grfica es la que se utiliza en circuitos y esquemas
electrnicos. En la siguiente figura se representan grficamente dos
funciones algebraicas, una con smbolos no normalizados, superior, y la
otra con normalizados.

FUNCIONES LGICAS
Las operaciones lgicas pueden representarse a travs de smbolos
grficos y de tablas de verdad.
Las lneas conectadas a la izquierda de cada smbolo son las entradas
(input) y las lneas a la derecha son las salidas (output).

Simbologa de las operaciones lgicas

COMPUERTAS LGICAS

Compuerta AND

Producto lgico (Y)

Nmero
mnimo
entradas: 2

de

Notacin: Z=A.B

Compuerta OR

Suma lgica (O)

Nmero
mnimo
entradas: 2

de

Notacin: Z=A+B

Compuerta INV(o NOT)

Inversin o Negacin
complemento lgico
Nmero de entradas: 1

Notacin: Z= A
Notacin: Z=A

Compuerta NAND

AND negada
Nmero de entradas:
2(ampliable)

Notacin: Z=(A.B)

Compuerta NOR

OR negada
Nmero de entradas:
2(ampliable)
Notacin: Z=(A+B)

Compuerta XOR o EX-OR

OR exclusiva
Nmero de entradas: 2(no
ampliable)
Operacin: Z=A.B+A.B
Notacin: Z=A B

Compuerta XNOR o EX-NOR

XOR invertida o negada

Nmero de entradas: 2(no
ampliable)
Operacin: Z=A.B+A.B
Notacin: Z= (A B)

CIRCUITOS COMBINACIONALES (LGEBRA DE BOOLE)

Los valores de las magnitudes fsicas que se manejan en los distintos
sistemas de regulacin y de control industriales, que son los que hemos
de procesar para alcanzar unos determinados objetivos en cada
proceso, varan con el tiempo. En funcin de cmo sean esas
variaciones distinguimos dos tipos de seales: la seal analgica, que es
aquella capaz de tomar valores continuos en el tiempo esto es, todos los
valores posibles dentro de un determinado intervalo; y la seal digital,
discontinua, capaz nicamente de tomar unos determinados valores,
discretos, dentro del rango posible.
En general todas las magnitudes fsicas responden a seales analgicas.
Por ejemplo la tensin de alimentacin de la red domstica, nuestra
altura y peso, la presin, la temperatura, la velocidad de un mvil, etc.
Sin embargo la mayora de los sistemas de control utilizan para su
funcionamiento seales digitales, a su vez basadas en cdigos binarios.
Un sistema digital es un conjunto de dispositivos destinados a la
generacin, transmisin, procesamiento o almacenamiento de seales
digitales.
Dentro de los sistemas digitales podemos diferenciar dos grandes
grupos:
1. Los sistemas digitales combinacionales. En ellos la salida del
sistema depende nicamente de la combinacin de valores que
presentan las entradas lgicas. No precisa de mdulos de
memoria, ya que el valor de la salida no depende de situaciones
anteriores.
2. Los sistemas digitales secuenciales: En ellos la salida depende
de la combinacin de las entradas del momento y de la secuencia
de combinaciones de las entradas previas, por lo que necesitan
mdulos de memoria que acumulen la informacin de lo ocurrido
anteriormente en el sistema.
Para el anlisis y la sntesis de sistemas digitales binarios se utiliza como
herramienta el lgebra de Boole, y para la implementacin de dichos
circuitos se utilizan puertas lgicas (las principales son las AND, OR y
NOT, aunque existen otras como las XOR y tambin las NAND y las NOR,
tambin conocidas como puertas universales puesto que con ellas
pueden elaborarse todas las dems), construidas generalmente a partir

de transistores (lgica TTL) y cuyo comportamiento se corresponde con

algunas de las funciones del booleanas (principalmente la
multiplicacin, la suma y la complementacin o negacin).
COMBINACIONES

NOT-AND-OR (preferentemente con SUMA de PRODUCTOS)

EJEMPLO 1: F(A, B, C) = AC + BC + BC

NOT-OR-AND (preferentemente con PRODUCTO de SUMAS)

EJEMPLO 2: F(A, B, C) = (A+C) (B+C) (B+C)

NAND-NAND (preferentemente con SUMA de PRODUCTOS) Buscamos

grupos de variables con la forma de salida de una puerta NAND.
Ejemplo 3: F(A, B, C) = AC + BC + BC
Negamos 2 veces F(A, B, C) = AC + BC + BC
Aplicamos De Morgan F(A, B, C) = AC BC BC

NOR-NOR (preferentemente con PRODUCTO de SUMAS) Buscamos

grupos de variables con la forma de salida de una puerta NOR.
Ejemplo 4: F(A, B, C) = (A+C) (B+C) (B+C)
Negamos 2 veces F(A, B, C) = (A+C) (B+C) (B+C)
Aplicamos De Morgan F(A, B, C) = (A+C) + (B+C) + (B+C)

1.6 Conclusiones
El lgebra de Boole se basa en un conjunto en el que se han definidos
tres operaciones internas: una unaria y dos binarias, como ya hemos
visto, siendo cmoda esta definicin. Estrictamente hablando solo son
necesarias dos, la unaria y una de las binarias, as, por ejemplo, en la
lgica binaria con la negacin y el producto podemos definir la suma.
Con la ley de De Morgan:

Esta expresin resulta ms compleja, pero partiendo de la negacin y el

producto binarios define la suma binaria.
En la imagen de la derecha podemos ver un
circuito en paralelo de dos pulsadores a y b,
que corresponde a la suma binaria de a y b,
y su equivalente en un circuito en serie de a
y b, los dos dan como resultado la misma
tabla de verdad, y por tanto son
equivalentes, lo artificioso el circuito serie
para obtener el mismo resultado que en un
circuito paralelo deja ver lo conveniente de
considerar esa funcin, la posibilidad de
obtener la suma de dos variables binarias
mediante la negacin y el producto sealan
que, de forma primaria, el lgebra de Boole
se basa solo en dos operaciones, y que cualquier expresin en la que
intervenga la suma puede transformarse en otra equivalente en la que
solo intervienen la negacin y el producto.
1.7

Referencias bibliogrficas

[1]AYRES, Frank. Mc Graw-Hill. Serie Schaum, ed. lgebra Moderna

(1994 edicin). ISBN 968-422-917-8.
[2]Gonzlez Carlomn, Antonio. Universidad de Oviedo. Servicio de
Publicaciones, ed. Retculo completo de Boole, lgica matemtica, teora
de conjuntos (2006 edicin). ISBN 84-8317-534-7.
[3]Garca Zubia, Javier; Sanz Martnez, Jess; Sotomayor Basilio, Borja.
Universidad de Deusto. Departamento de Publicaciones, ed. BooleDeusto v2.1 entorno de diseo lgico (2005 edicin). ISBN 84-7485-9735.
[4]Gimnez Pradales, Jos Miguel. Universidad Politcnica de Catalua.
Departamento de Matemtica Aplicada III, ed. lgebra de Boole para
ingeniera tcnica (2004 edicin). ISBN 84-933451-0-5.
[5]Garca Zubia, Javier; Sanz Martnez, Jess; Sotomayor Basilio, Borja.
Universidad de Deusto. Departamento de Publicaciones, ed. BooleDeusto entorno de diseo lgico (2004 edicin). ISBN 84-7485-929-8.
[6]Gins Gmez, Jos Carlos. Gines Gmez, Jos Carlos, ed. Puertas
lgicas y lgebra de Boole, electrnica digital tcnica de
telecomunicacin (1998 edicin). ISBN 84-607-9518-7.
[6]Montes Lozano, Antoni. Editorial UOC, S.L., ed. lgebras de Boole
(2002 edicin). ISBN 84-8429-979-1.