Republica Bolivariana de Venezuela

Ministerio del poder popular para la educacin

Escuela tcnica industrial Robinsoniana Lara
Electrnica








Algebra de Boole



Barquisimeto 10 de mayo de 2014
Republica Bolivariana de Venezuela
Ministerio del poder popular para la educacin
Escuela tcnica industrial Robinsoniana Lara
Electrnica








Algebra de Boole




Profesor: Ronny Rondn
Integrante:
Noel romero # 07
Ao: 5to seccin:c

Barquisimeto 10 de mayo de 2014
Algebra de Boole
lgebra de Boole (tambin llamada lgebra booleana) en informtica y matemtica, 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.
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
Morgany 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.
En la actualidad, el lgebra de Boole se aplica de forma generalizada en el mbito del
diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de
conmutacin elctrica biestables, en 1948. Esta lgica se puede aplicar a dos campos:
Al anlisis, porque es una forma concreta de describir como funcionan los circuitos.
Al diseo, ya que teniendo una funcin aplicamos dicha lgebra, para poder desarrollar
una implementacin de la funcin.
Variable Booleana
Las variables booleanas son smbolos utilizados para representar magnitudes lgicas y
pueden tener slo dos valores posibles: 1 (valor alto) 0 (valor bajo).







Funcin Booleana
En matemticas, una funcin booleana es una funcin cuyo dominio son
las palabras conformadas por los valores binarios 0 1 ("falso" o "verdadero",
respectivamente), y cuyo codominio son ambos valores 0 y 1.
Formalmente, son las funciones de la forma : B
n
B, donde B = {0,1} y n un entero no
negativo correspondiente a la aridad de la funcin.
Existen distintas formas de representar una funcin lgica, entre las que podemos destacar
las siguientes:
Algebraica
Por tabla de verdad
Numrica
Grfica
El uso de una u otra, como veremos, depender de las necesidades concretas en cada
caso.
Algebraica
Se utiliza cuando se realizan operaciones algebraicas. A continuacin se ofrece un
ejemplo con distintas formas en las que se puede expresar algebraicamente una misma
funcin de tres variables.
a) F = [(A + BC) + ABC] + ABC
b) F = ABC + ABC + ABC + ABC
c) F = (A + B + C)(A + B + C)(A + B + C)(A + B + C)
d) F = BC + AB
e) F = (A + B)(B + C)
f) F = [(BC)(CB) (AB)]
g) F = [(A + B) + (B + C)]
La expresin a) puede proceder de un problema lgico planteado o del paso de unas
especificaciones a lenguaje algebraico. Las formas b) y c) reciben el nombre expresiones
cannicas: de suma de productos (sum-of-products, SOP, en ingls), la b), y de productos
de sumas (product-of-sums, POS, en ingls), la c); su caracterstica principal es la aparicin
de cada una de las variables (A, B y C) en cada uno de los sumandos o productos.
Por tabla de verdad
Una tabla de verdad contiene todos los valores posibles de una funcin lgica dependiendo
del valor de sus variables. El nmero de combinaciones posibles para una funcin de n
variables vendr dado por 2
n
. Una funcin lgica puede representarse algebraicamente de
distintas formas como acabamos de ver, pero slo tiene una tabla de verdad. La siguiente
tabla corresponde a la funcin lgica del punto anterior.
La forma ms cmoda para ver la equivalencia entre una tabla de verdad y una expresin
algebraica es cuando esta ltima se da en su forma cannica. As, la funcin cannica de
suma de productos (o forma cannica disyuntiva)
F = ABC + ABC + ABC + ABC
nos indica que ser 1 cuando lo sea uno de sus
sumandos, lo que significa que tendr por lo tanto cuatro combinaciones que lo sern (010
para ABC, 100 para ABC, 101 para ABC y 110 para ABC) siendo el resto de
combinaciones 0. Con la funcin cannica de producto de sumas (o forma cannica
conjuntiva) se puede razonar de forma anloga, pero en este caso observando que la
funcin ser 0 cuando lo sea uno de sus productos.
Tambin es fcil obtener la tabla de verdad a partir de la funcin simplificada, pero no as a
la inversa.
Numrica
La representacin numrica es una forma simplificada de representar las expresiones
cannicas. Si consideramos el criterio de sustituir una variable sin negar por un 1 y una
negada por un 0, podremos representar el trmino, ya sea una suma o un producto, por un
nmero decimal equivalente al valor binario de la combinacin. Por ejemplo, los siguientes
trminos cannicos se representarn del siguiente modo (observe que se toma el orden de A
a D como de mayor a menor peso):
ABCD = 1011
2
= 11
10

A + B + C + D = 0100
2
= 4
10

Para representar una funcin cannica en suma de productos utilizaremos el smbolo

n
(sigma) y en producto de sumas
n
(pi), donde n indicar el nmero de variables. As, la
representacin numrica correspondiente a la tabla de verdad del punto anterior quedar
como:
F =
3
(2, 4, 5, 6) =
3
(0, 1, 3, 7)
Matemticamente se demuestra, que para todo trmino i de una funcin, se cumple la
siguiente ecuacin:
F = [
n
(i)]' =
n
(2
n
-1-i )
A modo de ejemplo se puede utilizar esta igualdad para obtener el producto de sumas a
partir de la suma de productos del ejemplo anterior:
F =
3
(2, 4, 5, 6) = [
3
(2, 4, 5, 6)]' ' = [
3
(0, 1, 3, 7)]' =
3
(0, 1, 3, 7)
Grfica
La representacin grfica es la que se utiliza en circuitos y esquemas electrnicos. En la
siguiente figura se representan grficamente dos funciones algebraicas, una con smbolos
no normalizados, superior, y la otra con normalizados, inferior (vanse los smbolos de
las puertas lgicas)







Tabla de la verdad
Una tabla de verdad, o tabla de valores de verdad, es una tabla que muestra el valor de
verdad de una proposicin compuesta, para cada combinacin de verdad que se pueda
asignar.
1

Fue desarrollada por Charles Sanders Peirce por los aos 1880, pero el formato ms popular
es el que introdujo Ludwig Wittgenstein en su Tractatus logico-philosophicus, publicado en
1921.

















Introduccin
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.
En el presente trabajo se intenta dar una definicin de lo que es un lgebra de boole; se
tratan las funciones booleanas,
haciendo una correlacin con las frmulas proposicionales. Asimismo, se plantean dos
formas cannicas de las funciones booleanas, que son tiles para varios propsitos, tales
como el de determinar si dos expresiones representan o no la misma funcin. Pero para
otros propsitos son a menudo engorrosas, por tener ms operaciones que las necesarias.
Particularmente, cuando estamos construyendo los circuitos electrnicos con que
implementar funciones booleanas, el problema de determinar una expresin mnima para
una funcin es a menudo crucial. No resultan de la misma eficiencia en dinero y tiempo,
principalmente, dos funciones las cuales calculan lo mismo pero donde una tiene
menos variables y lo hace en menor tiempo. Como solucin a este problema, se plantea
un mtodo de simplificacin, que hace uso de unos diagramas especiales llamados mapas o
diagramas de Karnaugh, y el cual tiene la limitacin de poder trabajar adecuadamente slo
con pocas variables.
Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el
lgebra de boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de
simplificacin presentado en la lgica de proposiciones.




Funcin y tabla de la verdad de las compuertas
AND: La puerta AND o compuerta AND es una puerta lgica digital que implementa la
conjuncin lgica -se comporta de acuerdo a la tabla de verdad mostrada a la derecha. sta
entregar una salida ALTA (1), dependiendo de los valores de las entradas, siendo este
caso, al recibir solo valores altos en la puerta AND. Si alguna de estas entradas no son
ALTAS, entonces se mostrar un valor de salida BAJA (0). En otro sentido, la funcin de
la compuerta AND efectivamente encuentra el mnimo entre dos dgitos binarios, as como
la funcin OR encuentra al mximo.
Se puede ver claramente que la salida X solamente es "1" (1 lgico, nivel alto) cuando la
entrada A como la entrada B estn en "1". En otras palabras la salida X es igual a 1 cuando
la entrada A y la entrada B son 1
Esta situacin se representa en lgebra booleana como: X = A B o X = AB
Su tabla de verdad es la siguiente:
Tabla de verdad puerta AND
Entrada Entrada Salida
0 0 0
0 1 0
1 0 0
1 1 1
OR: La puerta OR o compuerta OR es una puerta lgica digital que implementa la
disyuncin lgica -se comporta de acuerdo a la tabla de verdad mostrada a la derecha.
Cuando todas sus entradas estn en 0 (cero) o en BAJA, su salida est en 0 o en BAJA,
mientras que cuando una sola de sus entradas est en 1 o en ALTA, su SALIDA va a estar
en 1 o en ALTA.
Se puede ver claramente que la salida X solamente es "0" (0 lgico, nivel bajo) cuando la
entrada A como la entrada B estn en "0". En otras palabras la salida X es igual a 0 cuando
la entrada A y la entrada B son 0
Esta situacin se representa en lgebra booleana como:
La representacin circuital es con pulsadores normales abiertos, conectados en paralelo.
Una proposicin lgica que corresponde a una compuerta OR es la siguiente: "El perro
ladra o mueve la cola". sta corresponde a una unin lgica o suma lgica.
Las puertas Lgicas OR se fabrican de dos, tres y cuatro entradas. Cdigos de los
fabricantes de Circuitos Integrados para la compuerta OR:
De dos entradas: CD 4071
De tres entradas: CD 4075
De cuatro entradas: CD 4072
Su tabla de verdad es la siguiente:
Tabla de verdad puerta OR
Entrada Entrada Salida
0 0 0
0 1 1
1 0 1
1 1 1
NOT: La puerta NOT o compuerta NOT es una puerta lgica digital que implementa la
negacin lgica -se comporta de acuerdo a la tabla de verdad mostrada a la derecha.
Cuando su entrada est en 0 (cero) o en BAJA, su salida est en 1 o en ALTA, mientras que
cuando su entrada est en 1 o en ALTA, su SALIDA va a estar en 0 o en BAJA.
Se puede ver claramente que la salida X solamente es "1" (1 lgico, nivel alto) cuando la
entrada A est en "0" o en BAJA, mientras que la salida X solamente es "0" (0 lgico, nivel
bajo) cuando la entrada A est en "1" o en ALTA.
Esta situacin se representa en lgebra booleana como: X = (-A)
La representacin circuital es con un solo pulsador normal cerrado, conectado en circuito
simple. Una proposicin lgica que corresponde a una compuerta NOT es la siguiente: Las
compuertas Lgicas NOT o INVERSORA se fabrican de una sola entrada.
Cdigos de los fabricantes de Circuitos Integrados para la compuerta NOT o
INVERSORA:
De una entrada: CD 4069
De una entrada: CD 4009
De una entrada: CD 40106
Su tabla de verdad es la siguiente:

Simbologa


AND:



OR:



NOT:




Tabla de verdad puerta NOT
Entrada Salida
0 1
1 0