ESCUELA SUPERIOR POLITECNICA DE CHIMBORAZO

FACULTAD DE INFORMATICA Y ELECTRONICA

ESCUELA DE INGENIERIA ELECTRONICA EN CONTROL Y REDES
INDUSTRIALES
CODIGO: 543
NOMBRE: Velsquez Crdenas Jssica Lizeth
SEMESTRE: Segundo A
ASIGNATURA: Sistemas Digitales I
Nro DE CONSULTA: 7
FECHA: 07 mayo de 2013
Algebra booleana
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. stas funciones, en la etapa de disea del hardware, son
interpretadas como funciones de boole.

HISTORIA
Se denomina as en honor a George Boole (2 de noviembre
de 1815 a 8 de diciembre de 1864), matemtico ingls
autodidacta, que fue el primero en definirla como parte de un
sistema lgico, inicialmente en un pequeo folleto: The
Mathematical Analysis of Logic,1 publicado en 1847, en
respuesta a una controversia en curso entre Augustus De
Morgan y Sir William Hamilton. El lgebra de Boole fue un
intento de utilizar las tcnicas algebraicas para tratar
expresiones de la lgica proposicional. Ms tarde como un
libro ms importante: The Laws of Thought, 2 publicado en 1854, sin embargo,
las primeras aplicaciones a circuitos de conmutacin fueron desarrolladas por
Claude Shannon en su tesis doctoral "Anlisis simblico de los circuitos de
conmutacin y rels" hasta 1938
Las proposiciones lgicas 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. Por ello, al conjunto de reglas
de la Lgica Simblica se le denomina LGEBRA DE BOOLE. 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.
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 JohnVon
Neumann pudo
enunciar
el modelo de arquitectura que
define
la estructura interna de los ordenadores desde la primera generacin.
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.
Los dispositivos con los cuales se implementan las funciones lgicas son
llamados puertas (o compuertas) y, habitualmente, son dispositivos
electrnicos basados en transistores. Estos dispositivos, son los que permiten
el diseo, y la ulterior implementacin, de los circuitos de cualquier ordenador
moderno, as como de muchos de los elementos fsicos que permiten la
existencia de las telecomunicaciones modernas, el control de mquinas,
etctera.

lgebra Booleana

La herramienta fundamental para el anlisis y diseo de circuitos digitales 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).
El lgebra booleana es un sistema algebraico definido en un conjunto B, el cual
contiene dos o ms elementos y entre los cuales se definen dos
operacionesdenominadas "suma u operacin OR" ( + ) y "producto o
multiplicacin u operacin AND" ( ), las cuales cumplen con las siguientes
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 la segunda funcin: (xy)z = x(yz)
Distributiva respecto a la primera funcin: (x +y)z = xz + yz
Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z)
a

a+b

Identidad respecto a la primera funcin: x + 0 = x

Identidad respecto a la segunda funcin: x1 = x
Complemento respecto a la primera funcin: x + x' = 1
Complemento respecto a la segunda funcin: xx' = 0
Operacin suma:
La operacin suma (+) asigna a cada par de valores a, b deA un valor c de A:
a+b=c
Su equivalencia en lgica de interruptores es un circuito de dos interruptores
en paralelo.
a

a b

Operacin producto
La operacin producto ( ) asigna a cada par de valores a, bde A un valor c de A:
Esta operacin en lgica de interruptores es un circuito en serie de dos
interruptores

a
0

Operacin negacin

La operacin negacin presenta el opuesto del valor de a:

Un interruptor inverso equivale a esta operacin:

Operaciones combinadas
Partiendo de estas tres operaciones elementales se pueden realizar otras ms
complejas, que podemos representar como ecuaciones booleanas, por ejemplo:
a

b
0

Que representado en lgica de interruptores es un circuito de dos interruptores en paralelo,

siendo el primero de ellos inverso

Teoremas ms importantes de los cuales podemos mencionar los siguientes:

Teorema 1: A + A = A

Teorema 2: A A = A

Teorema 3: A + 0 = A

Teorema 4: A 1 = A

Teorema 5: A 0 = 0

Teorema 6: A + 1 = 1

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

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

Teorema 9: A + A B = A

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

Propiedades Del lgebra De Boole

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'
Diagramas De Karnaugh
Los diagramas de Karnaugh se utilizan para simplificar las funciones booleanas.
Se construye una tabla con las variables y sus valores posibles y se agrupan los
1 adyacentes, siempre que el nmero de 1 sea potencia de 2. En esta pgina
tienes un programa para minimizacin de funciones booleanas mediante
mapas de Karnaugh

SMBOLOS DE PUERTAS LGICAS

Una manera generalizada de representar las funciones lgicas es el uso de
smbolos o bloques lgicos denominados puertas o compuertas lgicas. Estas
puertas en general representan bloques funcionales que reciben un conjunto
de entradas (variables independientes) y producen una salida (variable
dependiente) como se muestra en la figura siguiente

PUERTA AND

La salida de una compuerta AND es 1 solamente si todas sus entradas son

simultneamente 1, de locontrario es 0.

PUERTA OR
La salida de una compuerta OR es 1 solamente si todas sus entradas son
simultneamente 0, de lo
contrario es 1.

INVERSOR O PUERTA NOT

Un inversor es una puerta de solamente una entrada y su salida es el
complemento lgico de la entrada.Es decir, cuando a la entrada de una puerta
NOT hay un 1 su salida ser 0, y de lo contrario cuando su entrada es 0, su
salida ser 1

PUERTA EXOR (OR EXCLUSIVO)

La operacin EXOR se denota por el smbolo , es decir, A EXOR B = A B.
Adems, como se vio
antes, A B = AB+AB. La salida de una puerta EXOR ser 1 si sus entradas
son diferentes y ser 0 si son iguales.

Bibliografa
http://blogs.utpl.edu.ec/irjo/

http://www.itescam.edu.mx/principal/sylabus/fpdb/recursos/r63906.PDF
http://www.monografias.com/trabajos14/algebra-booleana/algebrabooleana.shtml}
https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
http://serbal.pntic.mec.es/~cmunoz11/boole.pdf