REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL EXPERIMENTAL

RAFAEL MARA BARALT
VICERRECTORADO ACADMICO
PROGRAMA INGENIERA Y TECNOLOGA
PROGRAMA NACIONAL DE FORMACIN EN INFORMTICA

LGEBRA DE BOOLE

Autor:
Br. Solrzano Luis
C.I. 18.341.588

Cabimas, Junio de 2014

ESQUEMA
INTRODUCCIN
DESARROLLO
ALGEBRA DE BOOLE

Resea Histrica

Definicin

Leyes, Identidades y Teoremas.

Expresiones y Funciones de Conmutacin

Compuertas Lgicas.

Implementacin de Funciones Booleanas.

CONCLUSIN
BIBLIOGRAFA

INTRODUCCIN

La tecnologa permite disear compuertas lgicas a travs de

transistores, mediante estas compuertas se crean los circuitos digitales de las
computadoras. No obstante el uso de esta tecnologa no determina el uso de
las computadoras como procesadores de informacin, para esto es necesaria
la aplicacin de ciertos principios lgicos y algebraicos que permitan
manipular variables mediante los dispositivos electrnicos. En este punto, el
lgebra

booleana

permite

la

sistematizacin

representacin

del

funcionamiento de los circuitos digitales.

As mismo, la sistematizacin del estudio de los circuitos electrnicos
digitales ha tenido tres momentos importantes:

En 1854, George Boole presento un tratamiento sistemtico de la

lgica binaria en su libro Investigacin sobre las leyes del
pensamiento.

En 1904, Edward Vermilye Huntington presento una serie de

postulados algebraicos para determinar formalmente los sistemas
algebraicos.

En 1938,

Claude E. Shannon demostr que los circuitos digitales

electrnicos pueden modelarse formalmente utilizando el lgebra de

boole.
Si queremos entender el funcionamiento interno de las computadoras,
se hace necesario comprender los principios, axiomas, teoremas y postulados
del lgebra. Para darle cumplimiento a esto, en la siguiente investigacin se
analizara en detalle el tema del lgebra boolena, partiendo desde su resea
histrica e incluyendo la definicin y propiedades, ademas se hablara sobre
las compuertas lgicas.

LGEBRA DE BOOLE
Resea Histrica.
A mediados del siglo XIX, George Boole (1815-1864), en sus libros: The
Mathematical Analysis of Logic (1847) y An Investigation of te Laws of
Thought (1854), desarroll la idea de que las proposiciones lgicas podan
ser tratadas mediante herramientas matemticas. Las proposiciones lgicas
(asertos, frases o predicados de la lgica clsica) son aquellas que
nicamente pueden tomar valores Verdadero/Falso, o preguntas cuyas nicas
respuestas posibles sean S/No. Segn Boole, estas proposiciones pueden
ser representadas mediante smbolos y la teora que permite trabajar con
estos smbolos, sus entradas (variables) y sus salidas (respuestas) es la
Lgica Simblica desarrollada por l. Dicha lgica simblica cuenta con
operaciones lgicas que siguen el comportamiento de reglas algebraicas.
A mediados del siglo XX el lgebra Booleana result de una gran
importancia prctica, importancia que se ha ido incrementando hasta nuestros
das, en el manejo de informacin digital (por eso hablamos de Lgica
Digital). Gracias a ella, Shannon (1930) pudo formular su teora de la
codificacin y John Von Neumann pudo enunciar el modelo de arquitectura
que define la estructura interna de los ordenadores desde la primera
generacin.
Definicin
Se dice que un conjunto de elementos B, en el que existen definidas dos
operaciones binarias (representadas por + y por ) tiene estructura de lgebra
de Boole si y solo si se cumplen los siguientes cuatro postulados:

Las operaciones + y son conmutativas:

a+b=b+a yab=ba

Existen en B dos elementos neutros denotados por 0 y 1, para las

operaciones + y , respectivamente:
a+0=aya1=a

Cada operacin es distributiva con respecto a la otra (expresa el

proceso de sacar factor comn)
a(b+c) = ab + ac

Para cada elemento a de B existe un a, tal que:

a+a=1yaa=0
Todas las variables y constantes del lgebra booleana, admiten slo uno

de dos valores en sus entradas y salidas: S/No, 0/1 o Verdadero/Falso. Estos

valores bivalentes y opuestos pueden ser representados por nmeros
binarios de un dgito (bits), por lo cual el lgebra booleana se puede entender
cmo el lgebra del Sistema Binario. Al igual que en lgebra tradicional,
tambin se trabaja con letras del alfabeto para denominar variables y formar
ecuaciones para obtener el resultado de ciertas operaciones mediante una
ecuacin o expresin booleana. Evidentemente los resultados de las
correspondientes operaciones tambin sern binarios.
Todas las operaciones (representadas por smbolos determinados)
pueden ser materializadas mediante elementos fsicos de diferentes tipos
(mecnicos, elctricos, neumticos o electrnicos) que admiten entradas
binarias o lgicas y que devuelven una respuesta (salida) tambin binaria o
lgica. Ejemplos de dichos estados son: Abierto/Cerrado (interruptor),
Encendida/Apagada (bombilla), Cargado/Descargado (condensador) , Nivel
Lgico 0/Nivel lgico 1 (salida lgica de un circuito semiconductor), etctera.

Leyes, Identidades y Teoremas.

Ley de la Conmutatividad:
X+Y=Y+X
XY=YX

Ley de la Asociatividad:
X + (Y + Z) = (X + Y ) + Z
X (Y Z) = (X Y ) Z

Ley de la Distributividad:
X + (Y Z) = (X + Y ) (X + Z)
X (Y + Z) = (X Y ) + (X Z)

Ley de Dominacin:
X+1=1
X0=0

Demostracin:
X + 1 = (X + 1) 1 = (X + 1) (X + X)
(X + 1) (X + X) = X + (1 X) = 1

Ley de la Idempotencia: para cada elemento de B, se verifica:

X+X=X
XX=X

Ley del Doble Complemento: para cada elemento de B, se verifica:

X=X

Ley de la Absorcin: para cada par de elementos de B, se verifica:

X+XY=X
X (Y + X) = X

Demostracin:
X + X Y = (X 1) + (X Y ) = X (1 + Y ) = X

Teorema de la Simplificacin: para cada par de elementos de B, se

verifica:

A+AB=A+B
A (A + B) = A B
Demostracin:
AA=0
AA+B=B
(A + B) ( A + B) = B
A (A + B) ( A + B) = A B
A ( A + B) = A B

Ley DeMorgan: para cada par de elementos de B, se verifica:

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

Identidades:

Elementos Neutros (Identidad):

X+0=X
X1=X

Complemento:
X+X=1
XX=0

Teoremas:

Teorema de la Simplificacin:
A+AB=A+B
A (A + B) = A B
Demostracin:
AA=0
AA+B=B
(A + B) ( A + B) = B
A (A + B) ( A + B) = A B
A ( A + B) = A B

Teorema del complemento nico:

Suponemos 2 complementos para A (A1 y A2)

A + A1 = 1 A + A 2 = 1

A A1 = 0 A A2 = 0
Luego,
A1 = A1 1 = A1 (A + A2) = A1 A + A1 A2
A1 = 0 + A 2 A1
A1 = A A2 + A1 A2 = (A + A1) A2
A1 = 1 A2 =

A2

Expresiones y Funciones de Conmutacin

Literal.
Es toda ocurrencia de una variable, ya sea complementada o sin

complementar, en una expresin de conmutacin. Por ejemplo, en la

expresin de conmutacin:
AB+CA+D+B1
A, B, C y D son Variables.
A, B, C, A, D y B son Literales.
1 es una Constante.

Expresin Dual:
Esta expresin se obtiene, intercambiando las operaciones AND por OR

(y viceversa), e intercambiando las constantes 0 por 1 y 1 por 0 en la

expresin de conmutacin. Por ejemplo, para la expresin de conmutacin:
(A B) + (C D) + 0
La expresin dual es:
(A + B) (C + D) 1
Las funciones de conmutacin se pueden expresar: de forma algebraica,
mediante una tabla de verdad o en forma cannica. La manera ms didctica
de representar una funcin de conmutacin es mediante una tabla de verdad,
ya que en ella se muestran los valores de salida para cada combinacin de
valor de entrada. Las tablas de verdad permiten modelar los Sistemas

Combinacionales. Ejemplo de una Tabla de Verdad

Dada la funcin de conmutacin: f (X1,X2,X3) = X1 + (X2 X3)

La tabla de verdad es:

X1

X2

X3

f (X1,X2,X3)

Compuertas Lgicas.
Una compuerta lgica es un dispositivo que implementa una funcin
bsica del lgebra de Boole. La electrnica digital utiliza tres compuertas
bsicas como son: OR, AND y NOT. A partir de estas compuertas se crean
compuertas complementarias como son: NAND, NOR, OR-exclusiva y NORexclusiva.

Compuerta Lgica OR: Realiza la suma lgica. La funcin lgica OR

es Falsa solo cuando todas las variables de entrada estn en 0.

Compuerta Lgica AND: Realiza el producto lgico. La funcin lgica

AND es verdadera solo cuando todas las variables de entrada estn en
1.

Compuerta Lgica NOT: Realiza la complementacin. Este operador

invierte el valor lgico de la entrada.

Compuerta Negadas NOR: La funcin lgica NOR es Verdadera solo

cuando todas las variables de entrada estn en 0.

Compuerta Negadas NAND: La funcin lgica NAND es Falsa solo

cuando todas las variables de entrada estn en 1.

Compuertas Lgicas OR-EX (XOR): Esta funcin lgica especial,

OR-Exclusiva es verdadera solo cuando es IMPAR la cantidad de
variables de entrada que estn en 1.

Compuertas Lgicas NOR-EX (XNOR): Es aquella en la cual la salida

es un nivel bajo (0) si las entradas son diferentes de (0 y 1) y
presentan un nivel alto (1).

Las compuertas pueden tener ms de una o dos entradas. Por ejemplo

la ecuacin de conmutacin F(A, B, C) = A B C puede ser representada
por:

O bien por:

La aplicacin ms directa de las puertas lgicas es la combinacin entre

dos o ms de ellas para formar circuitos lgicos que responden a funciones
booleanas. Una funcin lgica hace que una o ms salidas tengan un
determinado valor para un valor determinado de las entradas.
Tales funciones o ecuaciones consisten en un nmero finito de
constantes (0, 1) y variables conectados por los operadores (+), () y () de
forma que (+) y () no pueden estar adyacentes nunca. Cada expresin de
conmutacin de n-variables describe una nica funcin de conmutacin de nvariables.
Implementacin de Funciones Booleanas.
Para el diseo de circuitos digitales slo cabe hacer la precisin del
siguiente convenio:

Presencia de tensin: 1

Ausencia de tensin: 0
Con este criterio, podemos proceder a la implementacin de funciones.

Dado un sistema combinacional cualquiera compuesto de x entradas y una

salida (F, la funcin a implementar) podemos utilizar dos tipos de ecuaciones
(formas cannicas de las ecuaciones booleanas):

Ecuacin minterms: obtendremos la suma de productos de las

variables entrada cuyas combinaciones hacen 1 la funcin. Convenio
a

aplicar:

variables

negada;

variable

sin

negar.

La

implementacin se realizar mediante puertas NAND.

Ecuacin maxterms: obtendremos el producto de las sumas de las

variables entrada cuyas combinaciones hacen 0 la funcin. Convenio
a

aplicar:

variable

negada;

variable

implementacin se realizar mediante puertas NOR.

sin

negar.

La

Lo que se logra con estas ecuaciones es la expresin correspondiente a

una tabla de verdad dada. Tal expresin es, adems, simplificable
algebraicamente mediante los postulados y teoremas enunciados ms arriba
(aunque la simplificacin se obtiene casi siempre por mtodos tabulares.

CONCLUSIN
De una manera general se puede comprender que el lgebra de boole o
lgebra booleana es una estructura que permite considerar las principales
operaciones algebraicas de un sistema binario. Recordemos que un sistema
binario es aquel que se representa usando 0 y 1. Aunque el lgebra
boolena se desarrollo inicialmente para el estudio de la lgica, es una
herramienta adecuada para el anlisis diseo del funcionamiento de las
computadoras. Sin embargo, no solo para esto se le da uso, mediante las
compuertas lgicas, el lgebra de boole se torna til para la electrnica en
general. Por medio de los circuitos lgicos, llamados as porque manejan la
informacin binaria, se pueden desarrollar diversos elementos, entre los que
se

pueden

destacar

los

microprocesadores,

los

decodificadores,

codificadores, etc.
Como es que el lgebra booleana mediante un sistema binario (0 y 1)
puede dar paso a la construccin de tantos sistemas?. Pues en el desarrollo
de los circuitos lgicos se transmiten informacin de tipo, "Falso" o
"Verdadero, "On" y "Off", "Abierto" o "Cerrado" o cualquier otro mecanismo
que represente dos estados excluyentes entre si. Es por esto, que en nuestro
da a da vemos representado el lgebra boolena sin ni siquiera darnos
cuenta. O quien no ha encendido una luz mediante un botn, o activado un
mecanismo cualquiera a travs de un switch. Estos sistemas simples solo
tienen dos posibilidades, encendido/apagado, activado/desactivado, es decir,
poseen un circuito lgico, utilizando las seales de dos tensiones diferentes,
1 para presencia de tensin y 0 para la ausencia. Otro ejemplo del uso de
los circuitos, es en los dispositivos electrnicos, quien haya visto un aparato
electrnico por dentro, se habr fijado en una serie de hilos yendo y
viniendo, con ciertos dibujos que conforman un circuito. Al estudiar el lgebra
de boole y las compuertas lgicas, le encontraremos el sentido a estos
circuitos y comprenderemos su funcin.

BIBLIOGRAFA
Araya E, Rodrigo. lgebra de Boole. http://www.alumnos.inf.utfsm.cl/. 2006.
http://www.alumnos.inf.utfsm.cl/~raraya/arq/material/Capitulo_3.pdf.
Quiroga, Elvira. Introduccin al lgebra de Boole. http://es.scribd.com/. 2011.
http://es.scribd.com/doc/97680468/Introduccion-al-Algebra-de-Boole
FCA-UNAM.

Algebra

de

Boole.

http://ecampus.fca.unam.mx/.

2010.

http://ecampus.fca.unam.mx/ebook/imprimibles/informatica/arquitectura_comp
utadoras/Unidad_4.pdf
Arroyo C, Csar. Algebra Booleana. http://www.monografias.com/. 2003.
http://www.monografias.com/trabajos14/algebra-booleana/algebrabooleana.shtml
Rivas,

Manuel.

lgebra

http://emp.usb.ve/mrivas/tema_4a.pdf.

de

Boole.

http://emp.usb.ve/.