UNIVERSIDAD TCNICA DE COTOPAXI

UNIDAD ACADMICA DE CIENCIAS DE LA INGENIERIA Y APLICADAS

CARRERA DE INGENIERIA ELECTROMECNICA
Tema: Algebra Booleana.
Objetivo General:

Conocer conceptos fundamentales sobre el lgebra Booleana, sus mtodos y los

complementos que son utilizados en el rea de sistemas digitales realizando una
tarea de investigacin para comprender de mejor manera la materia que se
imparte en las aulas de clase.

Objetivos Especficos:

Describir los elementos que contiene el algebra Booleana, como son los
teoremas, postulados y propiedades para resolver los problemas sin dificultad.
Considerar todos estos elementos para evitar errores en la ejecucin de ejercicios
prcticos o proyectos.
Resumir todos los datos e informacin establecida en este trabajo para poder
aprenderlos de mejor manera.

Abstract
Las lgebras booleanas, estudiadas por primera vez en detalle por George Boole,
constituyen un rea de las matemticas que ha pasado a ocupar un lugar prominente
con el advenimiento de la computadora digital. Son usadas ampliamente en el diseo
de circuitos de distribucin y computadoras, y sus aplicaciones van en aumento en
muchas otras reas. En el nivel de lgica digital de una computadora, lo que
comnmente se llama hardware, y que est formado por los componentes
electrnicos de la mquina, se trabaja con diferencias de tensin, las cuales generan
funciones que son calculadas por los circuitos que forman el nivel. Estas funciones,
en la etapa de diseo del hardware, son interpretadas como funciones de Boole.
Tambin es llamada retcula booleana, y es una estructura algebraica que
esquematiza las operaciones lgicas Y, O , NO y SI (AND, OR, NOT, IF), as como el
conjunto de operaciones unin, interseccin y complemento.

Desarrollo:
El lgebra booleana es un sistema
matemtico deductivo centrado en los
valores cero y uno (falso y verdadero).
Un operador binario " " definido en
ste juego de valores acepta un par de
entradas y produce un solo valor
booleano, por ejemplo, el operador
booleano AND acepta dos entradas
booleanas y produce una sola salida
booleana.
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:
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.
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.
Utilizaremos adems los siguientes
postulados:
P1 El lgebra booleana es cerrada bajo
las operaciones AND, OR y NOT
P2 El elemento de identidad con
respecto a es uno y con respecto a
+ es cero. No existe elemento de
identidad para el operador NOT
P3 Los operadores
conmutativos.

son

P4 y + son distributivos uno con

respecto
al
otro,
esto es, A (B+C) = (AB)+(AC) y A+
(BC) = (A+B) (A+C).
P5 Para cada valor A existe un valor A'
tal que AA' = 0 y A+A' = 1.
ste
valor es el complemento lgico de A.
P6 y + son ambos asociativos, sto
es, (AB) C = A (BC)
y
(A+B)+C = A+ (B+C).
Es posible probar todos los teoremas del
lgebra booleana utilizando stos
postulados, adems es buena idea
familiarizarse con algunos de los
teoremas ms importantes de los cuales
podemos mencionar los siguientes:
TEOREMAS
Teorema 1: A + A = A

Teorema 2: A A = A

Distributiva respecto a la segunda

funcin: (xy) + z = (x + z)( y + z)
Identidad respecto a la primera funcin:
x+0=x

Teorema 3: A + 0 = A
Teorema 4: A 1 = A

Identidad respecto a la segunda funcin:

x1 = x

Teorema 5: A 0 = 0
Teorema 6: A + 1 = 1

Complemento respecto a la primera

funcin: x + x' = 1

Teorema 7: (A + B)' = A' B'

Teorema 8: (A B)' = A' + B'

Complemento respecto a la segunda

funcin: xx' = 0

Teorema 9: A + A B = A

Propiedades Del lgebra De Boole

Teorema 10: A (A + B) = A
Teorema 11: A + A'B = A + B
Teorema 12: A' (A + B') = A'B'
Teorema 13: AB + AB' = A
Teorema 14: (A' + B') (A' + B) = A'
Teorema 15: A + A' = 1
Teorema 16: A A' = 0
Los teoremas siete y ocho son
conocidos
como
Teoremas
de
DeMorgan en honor al matemtico que
los descubri.
PROPIEDADES
Conmutativa respecto a la primera
funcin: x + y = y + x
Conmutativa respecto a la segunda
funcin: xy = yx
Asociativa respecto a la primera
funcin: (x + y) + z = x + (y +z)
Asociativa respecto a
funcin: (xy)z = x(yz)

la

segunda

Distributiva respecto a la primera

funcin: (x +y)z = xz + yz

Idempotente respecto a la primera

funcin:
x
+
x
=
x
Idempotente respecto a la segunda
funcin:
xx
=
x
Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involucin:
x''
=
x
Inmersin respecto a la primera
funcin:
x
+
(xy)
=
x
Inmersin respecto a la segunda
funcin:
x(x
+
y)
=
x
Ley de Morgan respecto a la primera
funcin:
(x
+
y)'
=
x'y'
Ley de Morgan respecto a la segunda
funcin: (xy)' = x' + y'
DE BOOLE A LA ELECTRONICA
DIGITAL
Debido a que los computadores trabajan
con informacin binaria, la herramienta
matemtica adecuada para el anlisis y
desafo de su funcionamiento es el
Algebra de Boole en su forma bivalente,
aunque fue desarrollada inicialmente
para el estudio de la lgica. Ha sido a
partir de 1938, fecha en que C.E.
Shanon public su obra Anlisis
simblico de circuitos con rels,
estableciendo los primeros conceptos de

la actual teora de la computacin,

cuando se ha producido un aumento
considerable en el nmero de trabajos
de aplicacin del Algebra de Boole a los
computadores digitales. Hoy en da, esta
herramienta resulta fundamental para el
desarrollo de los computadores ya que,
con su ayuda, el anlisis y sntesis de
combinaciones complejas de circuitos
lgicos puede realizarse con rapidez y
eficacia.
CIRCUITOS COMBINACIONALES
Un circuito combinacional es un
sistema que contiene operaciones
booleanas bsicas (AND, OR, NOT),

algunas entradas y un juego de salidas,

como cada salida corresponde a una
funcin lgica individual, un circuito
combinacional a menudo implementa
varias funciones booleanas diferentes,
es muy importante recordar ste echo,
cada salida representa una funcin
booleana diferente.
Un ejemplo comn de un circuito
combinacional es el decodificador de
siete segmentos, se trata de un circuito
que acepta cuatro entradas y determina
cul de los siete segmentos se deben
iluminar para representar la respectiva
entrada.

Conclusiones:

Los teoremas del algebra de Boole son demostrables, a diferencia de los del
algebra convencional, por el mtodo de induccin completa. La induccin
completa solo puede darse si se comprueba que la relacin entre los elementos
que el teorema define se cumple en todos los casos. Para realizar esto, se utilizan
las tablas de verdad.
Los postulados y teoremas del algebra han sido listados a pares, parte (a) y parte
(b). Una parte puede obtenerse a partir de la otra mediante el intercambio de los
elementos unitarios (0 y 1) y los operadores binarios (CI y M). Esto se conoce
como el Principio de dualidad, gracias al cual cualquier apartado de los
postulados puede obtenerse a partir del otro sin ms que intercambiar los
operadores binarios y los elementos unitarios.

Recomendaciones:

Se recomienda dictar las clases con ms tranquilidad, ya que as se lograra un

mejor aprendizaje y mejor entendimiento de la clase dictada.

Bibliografa:

http://zip.rincondelvago.com/algebra-de-boole-y-puertas-logicas
http://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole