Escuela de Ingeniera Mecatrnica

LECTURA 04
TEMA: ALGEBRA DE BOOLE

Circuitos elctricos y funciones lgicas.

Antes de tomar el tema del lgebra de Boole veremos la analoga de los circuitos elctricos y las
funciones lgicas.

Existe una analoga entre los circuitos elctricos y las funciones lgicas, es decir que el
comportamiento de los circuitos puede ser descrito mediante funciones lgicas, pero tambin en
el sentido opuesto, las funciones lgicas pueden ser construidas con circuitos elctricos.
En ambos casos se utilizarn las tablas de verdad para mostrar todos los resultados para todas
las posibles combinaciones de estados que tengan las variables de entrada del circuito.

En el siguiente circuito por ejemplo se muestra un circuito elctrico y la tabla de verdad que
describe su comportamiento.

Fig1. Circuito elctrico y su correspondiente tabla de verdad.

En el circuito de la figura 1 podemos ver que los switches A y B estn conectados en serie, por
lo cual para que el motor M pueda encenderse tienen que estar ambos switches cerrados. En la
tabla de verdad entonces se representan todas las posibles combinaciones de estados de los
switches A y B y el resultado S para cada caso.
Podemos observar en la tabla de verdad que el nico caso en el cual el motor estar encendido
es cuando tanto el switch A como el switch B estn cerrados.

En este caso la funcin lgica es:

S=AB

Y expresado como una funcin booleana sera:

S=A.B

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Funciones lgicas

Operaciones lgicas bsicas

Es necesario que nuestro sistema electrnico se comporte segn lo establecido en la tabla de la

verdad.
Para conseguirlo, se reduce la tabla de la verdad a una sola expresin que se llama funcin
lgica. Las funciones lgicas pueden ser muy complejas, pero siempre van a ser una
combinacin de las tres operaciones lgicas bsicas.

Suma: interruptores en paralelo. S = A + B + C

Producto: Interruptores en serie. S = A B C
Negacin: pulsador normalmente cerrado. S = A'

A estas operaciones lgicas bsicas y a las que derivan de ellas se las denomina de forma
genrica lgebra de Boole.

Suma lgica

La salida se activa (es un 1) cuando una cualquiera de las condiciones de entrada se activa.
Solamente no se activa la salida cuando todas las entradas son 0.

Fig2. Circuito y tabla de verdad para una funcin OR de tres entradas.

Como se ve en la figura, un circuito paralelo como el mostrado permite que la lmpara S se

encienda si cualquiera de los switches se cierra. Esto es equivalente a la suma booleana.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Producto lgico

La salida se activa slo cuando todas las entradas estn activas.

Ejemplo: En este circuito la bombilla (S) slo se enciende al pulsar los tres switches a la vez.
S=ABC

Fig3. Circuito y tabla de verdad para una funcin AND de tres entradas

Como se ve en la figura, un circuito en serie como el mostrado permiteque la lmpara S se

encienda solamente si todos los switches estn cerrados.

Negacin o inversin lgica

Al actuar sobre la entrada (A=1) la salida se detiene (S=0) y viceversa.

Ejemplo: En este circuito, cuando actuamos sobre el pulsador A, que est normalmente cerrado,
la bombilla se apagar, y si no actuamos seguir encendida.
S = A'.

Fig4. Circuito y tabla de verdad para la funcin lgica negacin.

La inversin se suele representar mediante una barra encima de la funcin o mediante un

apstrofe.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

ALGEBRA DE BOOLE

Introduccin.

El lgebra de Boole fue creada por el matemtico britnico George Boole (An Investigation of
the Laws of Thought, 1854).
Constituye un formalismo matemtico sencillo para representar el conocimiento y realizar
clculos. Inicialmente se plante como un formalismo ms para realizar clculos en Lgica
Proposicional.
En 1939, Claude E. Shannon public su tesis de master (A Symbolic Analysis of Relay and
Switching Circuits), en la que estableci la relacin existente entre el lgebra de Boole y el
estudio de los circuitos electrnicos.

Algebra real

Cuando trabajamos en ingeniera, utilizamos ecuaciones y modelos matemticos que describen

lo que estamos diseando o analizando. As por ejemplo, la ecuacin

Nos indica cul es la velocidad mxima de transmisin por un canal que tiene un ancho de banda
W y por el que se permiten n estados posibles de la seal transmitida, y ser usada por un
Ingeniero de Telecomunicacin para el diseo de canales o sistemas de comunicacin. Esa
ecuacin describe una relacin entre ciertas variables, que son objeto de estudio del Ingeniero.

Posiblemente no entendemos el significado de esta ecuacin. No sabemos lo que significa ancho

de banda o velocidad mxima de transmisin, pero s entendemos las operaciones que hay en
ella: hay productos y logaritmos. Sin saber nada, y partiendo de los datos iniciales: W=200 y n=4
seramos capaces de calcular el valor de Vmax.

Y por qu hemos sabido hacer eso? Porque conocemos las operaciones que el fsico ha
utilizado y adems sabemos algunas propiedades de ellas.
En estas dos ecuaciones de ejemplo, los nmeros y las variables son Reales. El conjunto de los
Nmeros Reales lo conocemos muy bien, as como todas las operaciones definidas en l.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Estamos acostumbrados a trabajar con ellos desde pequeos, por eso este tipo de ecuaciones
nos parecen intuitivas y sencillas, aunque no comprendamos lo que significan las variables
usadas.
Hemos dicho que los circuitos digitales trabajan con nmeros, y que estos nmeros se expresan
en binario. Veremos ms adelante cmo con un conjunto de ecuaciones podemos describir lo
que hace un circuito, que transforma los nmeros de la entrada y los saca por la salida. Sin
embargo, puesto que estos nmeros vienen expresados en binario, las variables y nmeros
utilizados NO SON REALES.

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 que pueden ser en algunos aspectos similares a las del lgebra real, pero
que tambin tienen ciertas diferencias, estas estn definidas en el ALGEBRA DE BOOLE.

Las operaciones del lgrebra de Boole

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. Pero no hay
que confundirlas, El + y el

. del Algebra de Boole 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:

A+B

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

Las tres primeras operaciones nos resultan obvias, son iguales que la suma que conocemos, sin
embargo la expresin 1 + 1 = 1 nos puede parecer incorrecta. Pero no hay que olvidar que aqu
estamos utilizando otra operacin que NO ES LA SUMA ARITMETICA sino la SUMA
BOOLEANA, la denotamos con el mismo smbolo +, pero no es una suma normal.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

El resultado siempre es igual a 1 cuando alguno de los bits sumandos es igual a 1. O lo que es
lo mismo, El resultado de esta suma slo da 0 si los dos bits que estamos sumando son iguales
a cero. En caso contrario valdr 1.

La operacin

Esta operacin se define as:

0

.0=0

.1=0

.0=0

.1=1

A.B

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.

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.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Las propiedades del lgebra de Boole

1. Las operaciones + y . son CONMUTATIVAS

A+B=B+A
A.B=B.A

2. Elemento Neutro
A+0=A
A.1=A

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

4. Elemento inverso
_
A+A=1
_
A.A=0

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Teoremas importantes

Derivados de las propiedades fundamentales, existen una serie de Teoremas muy interesantes
e importantes que usaremos a lo largo de todo el curso. Algunos los utilizaremos en la teora y
otros para los problemas.

Asociatividad

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 Absorcin

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

Este teorema es muy importante puesto que nos permite realizar simplificaciones en las
expresiones.

Leyes de DeMorgan
___________________ __ __ __

__

B1 + B2 + B3 + + Bn = B1 . B2 . B3 . .. . Bn
________________

__

__

__

__

B1 . B2 . B3 . . Bn = B1 + B2 + B3 + + Bn

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz

Escuela de Ingeniera Mecatrnica

Este teorema es tambin muy importante y lo usaremos constantemente. Vamos a hacer algunos
ejemplos para aprender a utilizarlo:

Teorema de Shannon:

Este teorema es una generalizacin de las leyes de DeMorgan. 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.
Veamos

En este este ejemplo se podran haber aplicado las leyes de DeMorgan sucesivas veces, como
hemos hecho en ejemplos anteriores, sin embargo podemos aplicar el Teorema de Shannon.

_____________________________________________________________________________
Electrnica Digital
2015- I
Ing. Luis Vargas Daz