4. Algebra de Boole.

4.1. Introduccin
La herramienta fundamental para el anlisis y diseo de circuitos
digitales, elctricos y control es el lgebra Booleana. Esta lgebra es un
conjunto de reglas matemticas (similares en algunos aspectos al lgebra
convencional), pero que tienen la virtud de corresponder al comportamiento
de circuitos basados en dispositivos de conmutacin (interruptores,
relevadores, transistores, etc). A continuacin se presentan los postulados
que definen el lgebra booleana, se presentan en forma de teoremas los
resultados ms importantes, se presentan tambin los tres ejemplos
clsicos de lgebras boolenas (lgica proposicional, lgebra de conjuntos,
lgebra de switches) y herramientas bsicas como tablas de verdad y
diagramas de Venn.
En 1847, George Boole desarrolla el lgebra, que lleva su nombre,
como un anlisis matemtico. Su objetivo era describir las operaciones
mentales mediante las cuales se realizan razonamientos. En 1938,
Shannon emplea el lgebra de Boole en circuitos de conmutacin. Su
objetivo era describir la conducta de circuitos digitales mediante un lgebra
binaria.

George Boole. (2 de noviembre de 1815 - 8 de diciembre de 1864).

El lgebra de Boole es una estructura algebraica consistente de un conjunto
B, de dos elementos, y dos operaciones binarias; tales que se cumplen los
axiomas de clausura, conmutatividad, asociatividad, distributividad,
identidad y complementariedad.
4.2. Postulados.
4.2.1. Definicin.
El lgebra de Boole es un sistema algebraico cerrado que contiene un
conjunto B de dos elementos, {0, 1}; y dos operadores { * , + }. Los
operadores tambin suelen representarse segn: {AND ( Y), OR(O)}.
La clausura implica que si a y b pertenecen a B, entonces: a*b y a+b
tambin pertenecen a B.

4.2.2. Igualdad.

Dos expresiones son iguales si una puede ser substituida por la otra.
4.2.3. Elementos nicos.
Existen elementos nicos ( 0 y 1) en B tal que para cada a en B, se tiene
que:
a+0=a
a*1= a

4.2.4. Conmutatividad.

4.2.5. Asociatividad.

4.2.6. Distributividad.

Ntese que en la distribucin para la suma en el

producto, la
expresin de la derecha es diferente de la empleada habitualmente para
nmeros reales y enteros.

4.2.7. Complementariedad.

Al complemento nico de a lo representaremos, para facilitar su

escritura como not a o NO a o a negado.

4.3. Circuitos de Conmutacin.

Para este ejemplo de lgebra de Boole, el conjunto B es el conjunto de todos
los switches o interruptores. La operacin suma de switches es la conexin en
paralelo y la multiplicacin de switches es la conexin en serie, como se
muestra en la siguiente figura. Los valores que pueden tomar los switches son
slo dos: {ON, OFF} o bien, {1,0}.

Existencia de neutros. El neutro de la suma, es un circuito abierto (un

switch que siempre est abierto), mientras que el neutro del producto es
un corto circuito (un switch que siempre est cerrado).
Conmutatividad. Evidentemente las conexiones en serie y en paralelo
funcionan de la misma manera independientemente del orden de
colocacin de los switches que interconectan.
Asociatividad. Las conexiones en serie y en paralelo son asociativas, es
decir, al conectar tres switches en paralelo, no importa cual par se
conecte primero. En forma similar pasa con la conexin de tres switches
en serie.
Distributividad. La conexin serie es distributiva sobre la conexin en
paralelo y la conexin paralelo es distributiva sobre la conexin en serie,
en el sentido que se ilustra en la figura siguiente.

4.4. Tablas de Verdad y Simbologa de Puertas.

4.4.1. Funcin Y ( and).
Cuando varias variables lgicas, de tipo binario, se combinan
mediante la operacin lgica AND, producen una variable de salida,
que solo toma el nivel lgico 1, estado alto o verdadero, si todas ellas
tienen dicho nivel o estado. La ecuacin lgica de la funcin AND
para dos variables de entrada es la siguiente:
S1 S2 S1 y S2
0
0
0
1
0
0
0
1
0
1
1
1

4.4.2. Funcin O ( or ).
Cuando distintas variables lgicas se combinan mediante la funcin
OR, el resultado toma el estado alto, verdadero o 1 si alguna de ellas
tiene dicho estado. La ecuacin que representa la funcin OR de dos
variables de entrada es la siguiente:

S1 S2 S1 o S2
0
0
0
1
0
1
0
1
1
1
1
1

4.4.3. Funcin Y negado ( Not and _ NAND).

La puerta NAND produce la funcin inversa de la AND, o sea, la
negacin del producto lgico de las variables de entrada. Acta como
una puerta AND seguida de una NOT.
S1 S3 S3 S1 y S3
0
0
1
0
1
0
1
1
0
1
0
0
1
1
0
0

4.4.4. Funcin O negado ( Not or).

Esta puerta produce la funcin inversa de la puerta OR, es decir, la
negacin de la suma lgica de las variables de entrada. Su
comportamiento es equivalente a la de la puerta OR seguida de una
NOT.
S1 S2 S2 S1 o S2
0
0
1
1
1
0
1
1
0
1
0
0
1
1
0
1

4.4.5. Funcin O exclusiva ( XOR)

La salida de esta compuerta es 1, estado alto o verdadero si cada
entrada es 1 pero excluye la combinacin cuando las dos entradas
son 1. La funcin OR exclusiva tiene su propio smbolo grfico o
puede expresarse en trminos de operaciones complementarias
AND, OR.
A
0
1
0
1

B XOR(A o B)
0
0
0
1
1
1
1
0