ALGE

BRA
BOOL
EANA

Contenido
INTRODUCCION.............................................................................................. 5
DEFINICION.................................................................................................... 5
TEOREMAS..................................................................................................... 6
ESTADOS LGICOS Y FUNCIN LGICA..........................................................6
FUNCIONES EN EL LGEBRA DE BOOLE..........................................................7
Funcin completa........................................................................................ 7
Tabla de VERDAD........................................................................................ 7
FRMULAS DE CONMUTACIN:...................................................................7
PUERTAS LOGICAS ELEMENTALES...................................................................8
Puerta AND.................................................................................................. 8
Puerta OR.................................................................................................... 9
Puerta NOT.................................................................................................. 9
PUERTA AND, PUERTA OR E INVERSOR......................................................10
PUERTA AND E INVERSOR..........................................................................10
FUNCIN XNOR, PUERTA XNOR.................................................................10
RELACIN ENTRE LGEBRA DE CONJUNTOS, LGEBRA DE PROPOSICIONES Y
LGEBRA DE BOOLE BINARIA.......................................................................11
Simplificacin de funciones..........................................................................13
Homogeneizacin de una funcin con puertas NAND...............................13
Homogeneizacin de una funcin con puertas NOR..................................13
Mapas de Karnaugh................................................................................... 14
Sistemas combinacionales. Funciones lgicas bsicas.................................15
Comparador binario.................................................................................. 15
Funciones aritmticas. Suma....................................................................15
CIRCUITOS.................................................................................................... 16
Circuitos en serie...................................................................................... 16
Circuitos en paralelo................................................................................. 17

George Boole
(Lincoln, Reino Unido, 1815 - Ballintemple, actual Irlanda, 1864) Matemtico britnico,
creador de un nuevo sistema de clculo lgico que pstumamente sera llamado lgebra de
Boole. Dicho sistema, en el que las proposiciones se reducen a smbolos sobre los que puede
operarse matemticamente, supuso un avance fundamental en el desarrollo de la lgica y,
ms de un siglo despus, hallara un formidable e insospechado campo de aplicacin en la
informtica y los microprocesadores, cuyo funcionamiento se basa en la lgica binaria de
Boole.
Miembro de una familia venida a
menos, George Boole tuvo que
desestimar

su

propsito

de

hacerse monje al verse obligado a

mantener a sus padres. A los
diecisis

aos

enseaba

matemticas en un colegio privado

y ms tarde fund uno propio. A
los

veinticuatro

aos,

tras

la

publicacin de su primer escrito,

pudo ingresar en Cambridge, pero
hubo de declinar la oferta a causa
de sus deberes respecto a su
familia. En 1849 fue nombrado
profesor

de

matemticas

del

Queen's College, en Cork, donde

permaneci el resto de su vida.
Prcticamente autodidacta, George Boole se interes sobre todo por el anlisis matemtico,
y muy pronto alcanz gran notoriedad gracias a sus brillantes aportaciones y artculos
referidos a este tema. En esa direccin debe destacarse su obra Anlisis matemtico de la
lgica (1847), que contiene sus primeras observaciones sobre los vnculos entre la lgica y
las matemticas y que muchos consideran como el acta de nacimiento de la lgica
matemtica.
El gran descubrimiento de Boole fue aplicar una serie de smbolos a elementos y operaciones
lgicas y hacer que estos smbolos y operaciones -por eleccin cuidadosa- tuvieran la misma
estructura lgica que el lgebra convencional. En el lgebra de Boole, los smbolos podan
manipularse segn reglas fijas que produciran resultados lgicos.
En 1854 public Investigacin sobre las leyes del pensamiento, libro que trataba por
completo de la lgica simblica y su lgebra. La influencia de esta lgica matemtica sobre
las matemticas modernas tendra una evolucin lenta: si en un primer momento no pareca
ms que un intrincado juego de palabras, ms adelante se vio que era de lo ms til, y hasta
completamente indispensable para llegar a la matemtica lgica. Boole se cas a la edad de
cuarenta aos y tuvo cinco hijas, a las que no lleg a ver adolescentes.

INTRODUCCION
Despus de su muerte, algunos matemticos perfeccionaron su sistema
para hacerlo ms utilizable, nos interesa particularmente la aplicacin que
en 1938 ide el cientfico Claude E. Shannon. En su tesis de graduacin del
Instituto Tecnolgico de Massachuset, Shannon demostr cmo poda
aplicarse el lgebra de Boole al diseo y la simplificacin de los rels y
circuitos de conmutacin que se utilizan en los complejos circuitos que
forman las computadoras electrnicas, pues permite simplificar las
conexiones fsicas reduciendo el hardware y consiguientemente el espacio
necesario para alojarlo. En este tema nos ocuparemos brevemente de esta
lgica de la conmutacin, como podramos llamarla, pero limitndonos a los
circuitos de conmutacin y las compuertas (llamadas tambin puertas
lgicas). Nos interesa la lgica del circuito, no la electrnica.
Muchos componentes utilizados en sistemas de control, como contactores y
rels, presentan dos estados claramente diferenciados (abierto o cerrado,
conduce o no conduce). A este tipo de componentes se les denomina
componentes todo o nada o tambin componentes lgicos. Para estudiar de
forma sistemtica el comportamiento de estos elementos, se representan
los dos estados por los smbolos 1 y 0 (0 abierto, 1 cerrado). De esta forma
podemos utilizar una serie de leyes y propiedades comunes con
independencia del componente en s; da igual que sea una puerta lgica, un
rel, un transistor, etc... Atendiendo a este criterio, todos los elementos del
tipo todo o nada son representables por una variable lgica, entendiendo
como tal aquella que slo puede tomar los valores 0 y 1.
A este conjunto de leyes y reglas de operacin de variables lgicas se
denomina lgebra de Boole, ya que fue George Boole el que desarroll las
bases de la lgica matemtica.
DEFINICION.
Es un sistema de elementos B=(0,1) y tres operaciones binarias cerradas:
() Operador OR (+) operador AND (.) operador NOT. Se denomina ALGEBRA
de BOOLE siempre y cuando se cumplan las siguientes propiedades:
Propiedad conmutativa:

A + B=B+ A A B=B A
Propiedad distributiva:

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

Elementos neutros diferentes
.

A +0=A A 1= A

Siempre existe el complemento de A

A A+ A =1 A A =0

PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica

deducible de los postulados anteriores puede transformarse en un segundo
teorema o identidad vlida sin mas que intercambiar (+) por () y 1 por 0.
CONSTANTE: cualquier elemento del conjunto B
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya
sea constante o frmula completa.
TEOREMAS

ESTADOS LGICOS Y FUNCIN LGICA.

Los elementos que constituyen los circuitos digitales se caracterizan por

admitir slo dos estados. Es el caso por ejemplo de un conmutador que
slo puede estar ENCENDIDO o APAGADO, o una vlvula hidrulica que
slo pueda estar ABIERTA o CERRADA. Para representar estos dos estados
se usan los smbolos 0 y 1. Generalmente, el 1 se asociar al estado
de conmutador CERRADO, ENCENDIDO, VERDADERO, y el 0 se asocia al
estado de conmutador ABIERTO, APAGADO o FALSO.
En el circuito de la Figura se representa el estado del conmutador con la
variable S y el de la lmpara con la variable binaria L. En la tabla se
observa la relacin entre ambas. La funcin lgica es aquella que
relaciona las entradas y salidas de un circuito lgico. Puede expresarse
En la tabla de verdad representan a la izquierda todos los estados
posibles de las entradas (en el ejemplo, el estado del conmutador) y a la
derecha los estados correspondientes a la salida (en el ejemplo, la
lmpara). 2. Funcin booleana: Es una expresin matemtica que emplea
los operadores booleanos (en el ejemplo, L = S).

FUNCIONES EN EL LGEBRA DE BOOLE

Funcin completa es una funcin que se encuentra definida para todas
las combinaciones de las variables de entrada.

Tabla de VERDAD forma de representacin de funciones, dando el valor

de la funcin para cada combinacin de entrada.

FRMULAS DE CONMUTACIN:
expresin de una funcin

1 y 0 son frmulas
Xi es una frmula si pertenece a {0,1}
Si A es una frmula, A tambin lo es
Si A y B son frmulas, A+B y AB tambin lo son
Nada ms es una frmula, a menos que sigan los puntos anteriores
un nmero finito de pasos.
Cada frmula describe una nica funcin.
Dos frmulas son equivalentes (A=B) si expresan la misma funcin de
conmutacin.

LITERAL es una variable A o complemento de una variable A

TRMINO PRODUCTO es una operacin AND de un nmero de
literales.
FRMULA NORMAL DISYUNTIVA es una suma de trminos
productos.
UN TRMINO SUMA es una operacin OR de un nmero de literales.
UNA FRMULA NORMAL CONJUNTIVA es un producto de trminos
sumas.
MINTRMINO (MI): trmino producto en el que aparecen todas las
variables, ya sean complementadas o sin complementar.
FRMULA CANNICA DISYUNTIVA O DE MINTRMINOS: suma
de mintrminos. Dada la lista completa de mintrminos y asignando
1s y 0s arbitrariamente a las variables, siempre hay un, y slo un,
mintrmino que toma el valor 1. Un mintrmino es un trmino
producto que es 1 exactamente en una lnea de la tabla de Verdad. La
frmula compuesta por todos los mintrminos ser idnticamente 1.
Cada frmula de conmutacin puede expresarse como suma de
mintrminos. Y esa frmula es nica.
NOTACIN: Un mintrmino se designa por mi siendo i el nmero
decimal correspondiente de la tabla de verdad. El 0 se asocia a la
variable complementada y el 1 a la variable sin complementar.
MAXTRMINO (MI): trmino suma en el que aparecen todas las
variables, ya sean complementadas o sin complementar.
FRMULA CANNICA CONJUNTIVA O DE MAXTRMINOS:
producto de maxtrminos. Dada la lista completa de maxtrminos y
asignando 1s y 0s arbitrariamente a las variables, siempre hay un y
slo un maxtrmino que toma el valor 0. Un maxtrmino es un
trmino suma que es 0 exactamente en una lnea de la tabla de
verdad. La frmula compuesta por todos los maxtrminos ser
idnticamente 0. Cada frmula puede expresarse como producto de
maxtrminos. Y es nica.
NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero
decimal correspondiente de la tabla de verdad. El 1 se asocia a la
variable complementada y el 0 a la variable sin complementar.

PUERTAS LOGICAS ELEMENTALES

Una puerta lgica es un elemento que toma una o ms seales
binarias de entrada y produce una salida binaria funcin de estas
entradas. Cada puerta lgica se representa mediante un smbolo
lgico. Hay tres tipos elementales de puertas: AND, OR y NOT. A partir
de ellas se pueden construir otras ms complejas, como las puertas:
NAND, NOR y XOR.
Puerta AND. El funcionamiento de la puerta lgica AND es
equivalente al de un circuito con dos conmutadores en .En dicho
circuito es necesario que los dos conmutadores estn cerrados para
que la lmpara se encienda. La relacin entre las posiciones de los
conmutadores y el estado de la lmpara se muestra en la tabla de
verdad.

Puerta OR. El funcionamiento de esta puerta es equivalente al de dos

conmutadores en paralelo En esta configuracin la lmpara se encender si
cualquiera de los dos conmutadores se cierra.

Puerta NOT. La salida de una puerta NOT es siempre el complementario

de la entrada, de tal manera que si la entrada es 0 la salida es 1 y
viceversa. Se conoce tambin como INVERSOR y posee una nica entrada.

La operacin lgica se conoce como negacin y se escribe: L = A (negado

de A). El indicador de negacin es un crculo ( o ) que indica inversin o
complementacin cuando aparece en la entrada o en la salida de un
elemento lgico. El smbolo triangular sin el crculo representara una
funcin en la que el estado de la salida sera idntico al de la entrada, esta
funcin recibe el nombre de buffer. Los buffers se usan para cambiar las
propiedades elctricas de una seal sin afectar al estado lgico de la
misma.
Con estos tres tipos de puertas puede realizarse cualquier funcin de
conmutacin.
Un CONJUNTO DE PUERTAS COMPLETO es aquel con el que se puede
implementar cualquier funcin lgica.
Puerta AND, puerta OR e INVERSOR
Puerta AND e INVERSOR
Puerta OR e INVERSOR

PUERTA AND, PUERTA OR E INVERSOR

Equivale a una puerta OR seguida de un INVERSOR. Su nombre viene de
Not-OR . El smbolo lgico es una puerta OR con un crculo en la salida. La
tabla de verdad es igual al de la puerta OR con el estado de salida negado.
Tambin puede tener ms de dos entradas.

PUERTA AND E INVERSOR

Equivale a una puerta AND seguida de un INVERSOR. Su nombre viene de
Not-AND . El smbolo lgico es una puerta AND con un crculo en la salida. La
tabla de verdad es igual al de la puerta AND con el estado de salida negado.
Una puerta NAND puede tener ms de dos entradas.

FUNCIN XOR, PUERTA XOR

La salida de una puerta OR exclusiva es verdadera (1) si, y slo si, una y
slo una de sus dos entradas es verdadera. Se asemeja a la OR (inclusiva),
excepto que excluye el caso en que las dos entradas son verdaderas. La
figura muestra un circuito equivalente. En una puerta OR exclusiva la salida
ser 1 cuando el nmero de entradas que son 1 sea impar. El circuito
equivalente de la Figura se deriva de considerar el funcionamiento de al
puerta XOR como combinacin de dos condiciones X e Y. X representa la
condicin de que cualquiera de las entradas: A o (OR) B sea 1, e Y la
condicin de que A y (AND) B no (NOT) sean 1 (NAND).

FUNCIN XNOR, PUERTA XNOR

Es la negacin de la puerta OR exclusiva (puerta OR seguida de un
INVERSOR).

RELACIN ENTRE LGEBRA DE CONJUNTOS, LGEBRA DE PROPOSICIONES Y

LGEBRA DE BOOLE BINARIA

Hemos obtenido en los temas anteriores los siguientes resultados:

El conjunto de las partes de un conjunto tiene estructura de lgebra de
Boole, con las operaciones unin e interseccin, y las propiedades de la
complementacin.
El conjunto de las proposiciones lgicas tiene estructura de lgebra de
Boole con los conectivos disyuncin, conjuncin y negacin.
Las equivalencias entre las operaciones de estos tres lgebras se ponen
de manifiesto en la siguiente tabla.

Simplificacin de funciones.
Mediante la aplicacin de los teoremas. Para simplificar una expresin
algebraica se pueden aplicar los teoremas booleanos vistos con
anterioridad.

Homogeneizacin de una funcin con puertas NAND.

A menudo es ms sencillo y econmico a la hora de realizar un circuito
emplear slo un tipo de puerta lgica. En varias familias lgicas las puertas
NAND son las ms simples, por lo que resulta til poder construir circuitos
usando slo stas.
Homogeneizacin con puertas NAND de una expresin dada en forma de
minterms:

Homogeneizacin de una funcin con puertas NOR.

En algunas familias lgicas las puertas NOR son las ms simples.
. Homogeneizacin con puertas NOR de una expresin dada en forma de
minterms:

Mapas de Karnaugh.
Es un mtodo grfico de representacin de la informacin que se encuentra
en la tabla de verdad. Permite simplificar una funcin booleana de manera
sencilla. En un mapa de Karnaugh cada combinacin posible de entradas
est representada por una caja dentro de una rejilla, y el valor
correspondiente de la salida se escribe dentro de la caja. Las cajas estn
escritas de forma que al cambiar de una a otra slo vara una de las
entradas. La secuencia corresponde al cdigo Gray.

Sistemas combinacionales. Funciones lgicas

bsicas.
Las puertas bsicas pueden combinarse para formar circuitos lgicos ms
complejos que realicen muchas operaciones tiles. Algunas de las funciones
lgicas combinacionales ms comunes son: comparacin, aritmtica,
conversin de cdigos, codificacin, decodificacin y seleccin de datos.

Comparador binario
La comparacin de magnitudes se realiza mediante un circuito lgico
denominado comparador. Un nmero en formato binario se introduce en la
entrada A y otro en la entrada B. Las salidas M, I, m, indican la relacin
entre los dos nmeros, produciendo un nivel alto en la lnea de salida
correspondiente, es decir, M =1 si A>B, I =1 si A=B y m =1 si A

Funciones aritmticas. Suma

Semi-sumador binario.
Las reglas bsicas de adicin binaria :0 + 0 = 0
1 1+1=1

0+1=1 1+0=

La funcin del semi-sumador es sumar dos nmeros binarios que se

aplican a las entradas A y B y generar la suma S y un acarreo de salida
Cout.

CIRCUITOS

Circuitos en serie
Todos los interruptores de un circuito en serie deben estar cerrados para
que pueda circular la corriente:

Tanto en A y B debe
Estar cerrados para
Que circule corriente

X,Y,Z deben estar cerrados

Tambin.

0 significa interruptor abierto o no circula corriente.

1 significa interruptor cerrado o circula la corriente.
representa la operacin lgica Y. Por ejemplo, A B se lee A Y
B.

Circuitos en paralelo
La corriente circular si A o B o ambos
Estn cerrados

Lo mismo ocurre fluir corriente si uno de

los tres o do o tres de ellos estn cerrados

0 significa interruptor abierto o no circula corriente.

1 significa interruptor cerrado o circula la corriente.
representa la operacin lgica Y. Por ejemplo, A B se lee A Y
B.