ALGEBRA DE BOOLE

Definicin de lgebra de Boole

Estamos inmersos en plena era digital, donde los
aparatos electrnicos que funcionan, bsicamente,
a base de recoger ceros y unos, y tratarlos de
forma lgica, haciendo cosas que hasta ahora solo
eran posibles en los libros de ciencia ficcin. Pero
como para casi todo en ciencia, hay una base
matemtica: El lgebra de Boole.
Historia
George Boole, (2 de noviembre de 1815 - 8 de
diciembre de 1864), fu

primer profesor de

matemticas del entonces Queen's College, Cork

en Irlanda (en la actualidad la Universidad de Cork ,
en la biblioteca, lectura de metro complejo teatral y
el Centro de Boole para la Investigacin en Informtica se nombran en su honor) en 1849. Pero fu
antes, en 1847 cuando escribi un pequeo folleto llamado "The Mathematical Analysis of Logic" ,
que completo con otro libro " The Laws of Thought" publicado en 1854.
Pero esto qued en poco ms que una curiosidad matemtica, hasta 1948, cuando Claude
Shannon la utiliz para disear circuitos de conmutacin elctrica biestables, aunque ya el
propio Alan Touring haba utilizado este mismo lgebra de forma terica, en su diseo de
lamquina de Turing (1936). Y con ello, comenz la era de la computacin digital.
Bases
Basada en la teora de conjuntos (Teora de Conjuntos - Matemtica Aplicada a la Ingeniera), el

lgebra de Boole sirve para manejar operaciones lgicas en sistemas de numeracin binarios, es
decir, basados en ceros y unos. De esta manera se nos permite realizar operaciones matemticas,

Pgina

como sumas, restas, multiplicaciones, divisiones u operaciones lgicas, como "no algo" "esto y lo
otro", o "si y solamente si...", tal y como esperaramos en cualquier sistema de lgica aristotlica.
Esto nos permite utilizar tablas de decisin y diagrmas de flujo de datos en los circuitos lgicos.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden
deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a
menudo emplea los siguientes postulados:

Cerrado. El sistema booleano se considera cerrado con respecto a un operador

binario si para cada par de valores booleanos se produce un solo resultado

booleano.
Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A

para todos los posibles valores de A y B.

Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B

C) para todos los valores booleanos A, B, y C.

Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) = (A

B) % (A C) para todos los valores booleanos A, B, y C.

o
Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto

a un operador binario " " si A I = A.

Inverso. Un valor booleano I es un elemento inverso con respecto a un operador

booleano " " si A I = B, y B es diferente de A, es decir, B es el valor opuesto de A.

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de operadores y
valores:
o

- Los dos posibles valores en el sistema booleano son cero y uno, a menudo
llamaremos a stos valores respectivamente como falso y verdadero.

- El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de

variables de una sola letra se eliminar el smbolo , por lo tanto AB representa la
operacin lgica AND entre las variables A y B, a esto tambin le llamamos el
producto entre A y B.

- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la

operacin lgica OR entre A y B, tambin llamada la suma de A y B.

- El complemento lgico, negacin NOT es un operador unitario, en ste texto

utilizaremos el smbolo " ' " para denotar la negacin lgica, por ejemplo, A' denota
la operacin lgica NOT de A.
- Si varios operadores diferentes aparecen en una sola expresin booleana, el

Pgina

resultado de la expresin depende de la procedencia de los operadores, la cual es

de mayor a menor, parntesis, operador lgico NOT, operador lgico AND y
operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por
la izquierda. Si dos operadores con la misma procedencia estn adyacentes,
entonces se evalan de izquierda a derecha. El operador lgico NOT es asociativo
por la derecha.

Sea B un conjunto en el cual se definen dos operaciones binarias, + y *, y una operacin

unitaria denotada ; sean 0 y 1 dos elementos diferentes de B . Entonces la sxtupla:
<B,+,*, ",0, 1)
se denomina lgebra de Boole si se cumplen los siguientes axiomas para cualesquiera elementos
a , b , c del conjunto B:
[B i ] Conmutatividad:
(la)

a + b = b + a

(Ib)

a*b = b*a

[B2] Distributividad:
(2a)

a + (b * c) = (a + b) * (a + c)

(2b) a * ( b + c ) = ( a * b ) + { a * c )

a+0=a

(3b) a * 1 = a

[B3] Identidad:
(3a)

[B4] Complemento:
(4a)

a+a=1

(4b) a * a = 0

Terminologa y convenciones

Las operaciones + y * se denominan suma y producto, respectivamente.

La operacin a se denomina complemento de a .

El elemento 0 se denomina elemento cero (neutro respecto de la suma).

El elemento 1 se denomina elemento unidad (neutro respecto del producto).

Por convencin, omitimos el smbolo *, usndose en su lugar la yuxtaposicin; de este modo, (2a) y
(2b) se escriben:
(2b) a ( b + c ) = ab + ac

(2a) a + bc = ( a + b ) ( a + c )

Pgina

Por convencin, establecemos que + es ms fuerte que * y * es ms fuerte que ; por ejemplo:
a + b * c significa a + ( b * c ) y no ( a + b) * c a * b
significa a * ( b )

y no ( a * b )

Principio de Dualidad
El concepto de dualidad permite formalizar este hecho: a toda relacin o ley
lgica le corresponder su dual, formada mediante el intercambio de los
operadores unin (suma lgica) con los de interseccin (producto lgico), y de
los 1 con los 0.

Adems hay que cambiar cada variable por su negada. Esto causa confusin al
aplicarlo en los teoremas bsicos, pero es totalmente necesario para la
correcta aplicacin del principio de dualidad. Vase que esto no modifica la
tabla adjunta.

Otras formas de notacin del lgebra de Boole

En matemtica se emplea la notacin empleada hasta ahora ({0,1}, + , ) siendo la forma ms usual
y la ms cmoda de representar. Por ejemplo las leyes de De Morgan se representan as:
___ _ _
a+b=a.b
___ _ _
a.b=a+b
Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma denominacin

que para las

Pgina

puerta lgica AND (Y), OR (O) y NOT (NO), amplindose en ocasiones con X-OR (O exclusiva) y
su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia). las variables pueden
representarse con letras maysculas o minsculas, y pueden tomar los valores {0, 1} Empleando
esta notacin las leyes de De Morgan se representan:
NOT (a OR b)= NOT a AND NOT b
NOT (a AND b)= NOT a OR NOT b

Partes
CONSTANTE: cualquier elemento del conjunto B.
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea
constante o frmula completa

TEOREMAS:
Un teorema es una proposicin que afirma una verdad demostrable. En matemticas, es toda
proposicin que partiendo de un supuesto (hiptesis), afirma una verdad (tesis) no evidente por s
misma.1
Un teorema es una frmula bien formada que puede ser demostrada dentro de un sistema formal,
partiendo de axiomas u otros teoremas. Demostrar teoremas es un asunto central en la lgica
matemtica. Los teoremas tambin pueden ser expresados en lenguaje natural formalizado.
Un teorema generalmente posee un nmero de premisas que deben ser enumeradas o aclaradas
de antemano. Luego existe una conclusin, una afirmacin lgica o matemtica, la cual es
verdadera bajo las condiciones dadas. El contenido informativo del teorema es la relacin que
existe entre las hiptesis y la tesis o conclusin.
Teorema 1: el elemento complemento A es nico.
Teorema 2 de los elementos nulos: para cada elemento de B se verifica: A+1 = 1 A 0 = 0
Teorema 3: cada elemento identidad es el complemento del otro. 0=1 1=0
Teorema 4 de idempotencia: para cada elemento de B, se verifica: A+A=A A A=A
Teorema 5 de involucin: para cada elemento de B, se verifica: (A) = A

Teorema 6 de absorcin: para cada par de elementos de B, se verifica: A+A B=A A (A+B)=A

Pgina

Teorema 7: para cada par de elementos de B, se verifica: A + A B = A + B A (A + B) = A B

Forma de suma de productos

Considrese un conjunto de variables a , b , c, d , ... .
Una expresin booleana E en estas variables es o una variable o una expresin
construida con estas variables y usando las operaciones booleanas +, * o Por ejemplo, las
siguientes son expresiones booleanas:

( a + bc) + (abe + a b )

( ( a b c + b ) + ac)

Un literal es una variable o una variable complementada. Por ejemplo, a, a , b , b son literales.
Un producto fundamental es un literal o un producto de dos o ms literales en el cual no hay dos
literales con la misma variable. Por ejemplo, ac, a b e , a , b , b e , abe son
productos fundamentales. En cambio, abac y abcb no son productos fundamentales: el primero
contiene a y a , mientras que el segundo contiene b dos veces.
Una expresin booleana E est en forma de suma de productos si E es un producto fundamental
o una suma de dos o ms productos fundamentales. Por ejemplo, la siguiente expresin est en
suma de productos:
ac + abe + abe
Pero la siguiente expresin no est en forma de suma de productos:
ac + aba + abe
ya que el segundo trmino no es un producto fundamental.

CIRCUITOS LGICOS
Definicin
Un circuito lgico es un dispositivo que tienen una o ms entradas y exactamente una salida.
En cada instante cada entrada tiene un valor, 0 o 1; estos datos son procesados por el circuito para
dar un valor en su salida, 0 o 1.
Los valores 0 y 1 pueden representar ciertas situaciones fsicas como, por ejemplo, un voltaje

Pgina

nulo y no nulo en un conductor.

Los circuitos lgicos se construyen a partir de ciertos circuitos elementales denominados

compuertas lgicas, entre las cuales diferenciaremos:
Compuertas lgicas bsicas: OR, AND, NOT.
Compuertas lgicas derivadas: OR, NAND.

COMPUERTAS
Una puerta lgica, o compuerta lgica, es un dispositivo electrnico con
una funcin booleana. Suman, multiplican, niegan o afirman, incluyen o
excluyen segn sus propiedades lgicas. Se pueden aplicar a tecnologa
electrnica, elctrica, mecnica, hidrulica y neumtica. Son circuitos de
conmutacin integrados en un chip.
Claude
Elwood
Shannon experimentaba
con rels o
interruptores
electromagnticos para conseguir las condiciones de cada compuerta lgica,
por ejemplo, para la funcin booleana Y (AND) colocaba interruptores
en circuito serie, ya que con uno solo de stos que tuviera la condicin
abierto, la salida de la compuerta Y sera = 0, mientras que para la
implementacin de una compuerta O (OR), la conexin de los interruptores
tiene una configuracin en circuito paralelo.
La tecnologa microelectrnica actual permite la elevada integracin
de transistores actuando como conmutadores en redes lgicas dentro de un
pequeo circuito integrado. El chip de la CPU es una de las mximas
expresiones de este avance tecnolgico.
En nanotecnologa se est desarrollando el uso de una compuerta lgica
molecular, que haga posible la miniaturizacin de circuitos.

Compuerta OR
La puerta OR o compuerta OR es una puerta lgica digital que implementa la disyuncin lgica -se
comporta de acuerdo a la tabla de verdad mostrada a la derecha. Cuando todas sus entradas
estn en 0 (cero) o en BAJA, su salida est en 0 o en BAJA, mientras que cuando al menos una o
ambas entradas estn en 1 o en ALTA, su SALIDA va a estar en 1 o en ALTA. En otro sentido, la

funcin de la compuerta OR efectivamente encuentra el mximo entre dos dgitos binarios, as

Pgina

como la funcin AND encuentra el mnimo.1

Se puede ver claramente que la salida X solamente es "0" (0 lgico, nivel bajo) cuando la entrada
A como
la

INPUT

OUTPUT

A OR B

entrada B estn en "0". En otras palabras la salida X es igual a 0 cuando la entrada A y la entrada
B son:

SIMBOLOS
Hay tres smbolos para las puertas OR: el smbolo texano -Americano- (ANSI o "militar") y el
smbolo IEC ("europeo" o "rectangular"), as como el obsoleto smboloDIN.2 3 Para obtener ms
informacin, vase Puerta lgica.

Pgina

Smbolo ANSI o "Militar"

Smbolo IEC

Smbolo DIN

Este diagrama esquemtico muestra la disposicin de puertas OR dentro de un circuito integrado

CMOS 4071 estndar.

Descripcin del hardware y configuracin de pines

Las puertas OR son puertas lgicas bsicas, y como tales estn disponibles en TTL y familias
lgicas de CI CMOS. Las serie estndar 4000 de los CI CMOS es el 4071, que incluye cuatro
puertas OR independientes de dos entradas. La versin tradicional TTL es el 7432. Existen muchas
ramas de la puerta OR 7432 original. Todas tienen el mismo pinout pero diferente arquitectura
interna, que les permite operar en diferentes rangos de voltaje y/o a velocidades ms altas. En
adicin a la puerta OR estndar de 2-entradas, tambin estn disponibles puertas OR de 3 y 4
entradas. En la serie CMOS, estas son:

4075: Puerta OR triple de 3 entradas

4072: Puerta OR dual de 4 entradas

Las variaciones TTL incluyen:

74LS32: Puerta OR cudruple de 2 entradas (de baja potencia versin Schottky)

74HC32: Puerta OR cudruple de 2 entradas (versin CMOS de alta velocidad) - tiene

menor consumo de corriente / mayor rango de voltaje

74LVC32: Versin CMOS de bajo voltaje de la misma.

Descripcin del lenguaje hardware

Mdulo (a, b, c); de entrada a, b; c salida; o (c, a, b); fin;

Pgina

Implementaciones

Puerta NMOS OR

Puerta CMOS OR

Puerta OR

Puerta OR usando

utilizando diodos

transistores

Alternativas
En caso de no estar disponibles puertas OR especficas, se puede hacer de NAND o NOR en la
configuracin que se muestra en la imagen a la derecha de este texto. Cualquier puerta lgica se
puede hacer a partir de una combinacin de puertas NOR o NAND.

Construccin de NAND

Construccin de NOR

En una compuerta OR con entradas A y B , la salida Y resulta:

Y=A+B
donde la suma se define por la siguiente tabla:
A
0
0
1
1

B
0
1
0
1

Y=A+B
0
1
1
1

10

La compuerta OR se representa del siguiente modo:

Pgina

La compuerta OR tambin puede tener ms de dos entradas:

donde la salida Y-A+B+C+D puede obtenerse asociando los sumandos:

Y = A + B + C + D = ( A + B ) + (C + D ) = ( ( A + B) + C ) + D
Compuerta AND
La compuerta AND o Y lgica es una de las compuertas ms simples dentro de la Electrnica
Digital. Su representacin es la que se muestra en las siguientes figuras.

11

La primera es la representacin de una compuerta AND de 2 entradas y la segunda de una

compuerta AND de 3 entradas. La compuerta Y lgica ms conocida tiene dos entradas A y B,

Pgina

aunque puede tener muchas ms (A, B, C, etc.) y slo tiene una salida X.
La compuerta AND de 2 entradas tiene la siguiente tabla de verdad. Se puede ver claramente que
la salida X solamente es 1 (1 lgico, nivel alto) cuando la entrada A como la entrada B estn en
1. En otras palabras
La salida X es igual a 1 cuando la entrada A y la entrada B son 1
Esta situacin se representa en lgebra booleana como: X = A*B X = AB.

Una compuerta AND de 3 entradas se puede implementar con interruptores, como se muestra en
el siguiente diagrama.
En la tabla de verdad que se muestra en el diagrama de arriba: A = Abierto y C = Una

Compuerta AND
puede tener muchas entradas. La compuerta AND de mltiples entradas puede ser creada
conectando compuertas simples en serie.
El problema de poner compuertas en cascada, es que el tiempo de propagacin de la seal desde
la entrada hasta la salida, aumenta. Si se necesita una compuerta AND de 3 entradas y no

12

una hay disponible, es fcil crearla con dos compuertas AND de 2 entradas en serie o

cascada como se muestra en el siguiente diagrama.

Pgina

En una compuerta AND con entradas A y B, la salida Y resulta:

Y = A*B

donde el producto se define por la siguiente tabla:

A
0
0
1

B
0
1
0

Y=A*B
0
0
0

La compuerta AND se representa del siguiente modo:

La compuerta AND tambin puede tener ms de dos entradas:

A
B
C
D

donde la salida Y=A*B*C*D puede obtenerse asociando los factores:

Y = A* B * C * D = ( A * B ) * ( C * D ) = ( ( A * B ) * C ) * D

COMPUERTA NOT
En una compuerta NOT con entrada^, la salida 7resulta:
Y=A
donde el complemento se define por la siguiente tabla:
A

Y
1
0

0
1

Pgina

13

La compuerta NOT se representa del siguiente modo:

COMPUERTAS NOR Y NAND

Las compuertas NOR y NAND no son bsicas. Una compuerta NOR equivale a ma compuerta
OR seguida de una compuerta NOT. Una compuerta NAND equivale a una compuerta AND
seguida de una compuerta NOT.

NOR

NAND
Por lo tanto, cuando las entradas son A y B , las salidas de estas compuertas resultan:

NOR:

Y=A+ B

NAND: Y = A^B

Compuertas NOR
Una compuerta NOR es un circuito que genera una salida baja (0 lgico) cuando una o
mas de sus entradas son 1. Esta operacin en trminos de nivel de salida, es la opuesta a la
operacin lgica OR.
La figura nos muestra los smbolos lgicos estndar de una compuerta NAND de 2 entradas

Smbolo lgico tradicional

Smbolo estndar IEEE

Pgina

14

La tabla muestra la salida para cada posible entrada en trminos de bits, para una compuerta
NOR de dos entradas.

Compuertas NAND

Una compuerta NAND es un circuito que genera una salida baja (0 lgico) slo cuando
todas las entradas son 1. Esta operacin en trminos de nivel de salida, es la opuesta a la
operacin lgica AND.

El funcionamiento de la compuerta NAND es equivalente al de una compuerta OR

negativa.
La figura nos muestra los smbolos lgicos estndar de una compuerta NAND de 2 entradas

La tabla muestra la salida para cada posible entrada en trminos

de bits, para una compuerta NAND de dos entradas.

Pgina

15

Ejemplo: Determine la forma de onda en la

salida de una compuerta NAND, si las
entradas son las siguientes (A,B)