Vous êtes sur la page 1sur 5

ALGEBRA BOOLEANA

(ALGEBRA DE BOOLE)

Un lgebra de Boole es toda clase o conjunto de elementos que pueden tomar dos valores
perfectamente diferenciados, que designaremos por 0 y 1 y que estn relacionados por dos
operaciones binarias denominadas suma (+) y producto (.) (la operacin producto se indica
en general simplemente mediante la ausencia de smbolo entre dos variables) lgicos que
cumplen los siguientes postulados:
a) Ambas operaciones son conmutativas, es decir, si a y b son elementos del lgebra,
se verifica:
a+b=b+a

a.b=b.a

b) Dentro del lgebra existen dos elementos neutros, el 0 y el 1, que cumplen la


propiedad de identidad con respecto a cada una de dichas operaciones:
0+a=a

1.a=a

c) Cada operacin es distributiva con respecto a la otra:


a . (b + c) = a . b + a . c

a + (b . c) = (a + b) . (a + c)

d) Para cada elemento, a, del lgebra existe un elemento denominado, , tal que:
a+=1

a.=0

Este postulado define realmente una nueva operacin fundamental que es la inversin o
complementacin de una variable. La variable se encuentra siempre en un estado binario
contrario al de a.
La primera ecuacin expresa la imposibilidad de que a y tomen el valor lgico cero al
mismo tiempo y la segunda ecuacin indica que nunca pueden tener el valor lgico uno al
mismo tiempo.
De lo explicado anteriormente se deduce que el lgebra de Boole es un ente matemtico. En
realidad, son fsicamente varios los conjuntos que poseen dos operaciones binarias que
cumplen los postulados desarrollados. Ejemplos de estos conjuntos son el lgebra de las
proposiciones formales y el lgebra de la conmutacin formad tambin por elementos que
pueden tomar dos estados perfectamente diferenciados.
Los primeros circuitos de conmutacin o lgicos utilizados han sido los contactos, y aunque
poco a poco han sido desplazados por los circuitos electrnicos, pueden ser empleados para
memorizar ms fcilmente las leyes del lgebra de Boole antes expresadas y los teoremas
que desarrollaremos seguidamente.
La operacin suma se asimila a la conexin en paralelo de contactos y la operacin
producto a la conexin en serie. El inverso de un contacto es otro cuyo estado es siempre
opuesto del primero, es decir est cerrado cuando aquel est abierto y viceversa. El
elemento 0 es un contacto que est siempre abierto y el elemento 1 un contacto que est
siempre cerrado. Adems se considera una funcin de transmisin entre los dos terminales
de un circuito de contactos, que toma el valor 1, cuando existe un camino para la
circulacin de corriente entre ellos (cortocircuito) y el valor 0 al no existir dicho camino
(Circuito abierto).

LGEBRA DE BOOLE APLICADA A LA INFORMTICA


Se dice que una variable tiene valor booleano cuando, en general, la variable contiene un 0
lgico o un 1 lgico. Esto, en la mayora de los lenguajes de programacin, se traduce
en false (falso) o true (verdadero), respectivamente.
Una variable puede no ser de tipo booleano, y guardar valores que, en principio, no son
booleanos; ya que, globalmente, los compiladores trabajan con esos otros valores,
numricos normalmente aunque tambin algunos permiten cambios desde, incluso,
caracteres, finalizando en valor booleano. ..
El 0 lgico
El valor booleano de negacin suele ser representado como false, aunque tambin permite y
equivale al valor natural, entero y decimal (exacto) 0, as como la cadena "false", e incluso
la cadena "0".
El 1 lgico
En cambio, el resto de valores apuntan al valor booleano de afirmacin, representado
normalmente como true, ya que, por definicin, el valor 1 se tiene cuando no es 0.
Cualquier nmero distinto de cero se comporta como un 1 lgico, y lo mismo sucede con
casi cualquier cadena (menos la "false", en caso de ser sta la correspondiente al 0 lgico).
Ejemplos
El lgebra de Boole ms importante tiene slo dos elementos, 0 y 1, y se define por las
reglas
0 1 0 1 ---- ---- 0 | 0 1 0 | 0 0 1 | 1 1 1 | 0 1
Tiene aplicaciones en la lgica, donde 0 se interpreta como "falso", 1 como
"verdadero", como "y", como "o", y es "no". Las expresiones que involucran variables y
operadores booleanos representan proposiciones, y se puede demostrar que dos expresiones
son equivalentes usando los axiomas citados anteriormente si y slo si las correspondientes
proposiciones son lgicamente equivalentes.
El lgebra de Boole de dos elementos tambin se utiliza para diseo de circuitos en
ingeniera electrnica; aqu 0 y 1 representan los dos posibles estados en circuitos digitales
con respecto al voltaje: 0=no conduce(circuito abierto);1=conduce(circuito cerrado).
Los circuitos se describen mediante expresiones que contienen variables, y dos de estas
expresiones son iguales si y slo si los correspondientes circuitos tienen el mismo
comportamiento de entrada y salida. Adems, cada posible comportamiento de entradasalida puede ser expresado mediante una expresin booleana.
El lgebra de Boole de dos elementos tambin es importante en la teora general de las
lgebras de Boole, porque una ecuacin que implica varias variables es cierta en todas las
lgebras booleanas si y slo si es cierta en un lgebra booleana de dos elementos (lo cual
siempre puede ser verificado utilizando el algoritmo trivial de fuerza bruta). Esto puede
aplicarse para demostrar que las siguientes leyes (Teoremas del consenso) son vlidos en
todas las lgebras booleanas:
(a b) (a c) (b c) = (a b) (a c)
(a b) (a c) (b c) = (a b) (a c)
El conjunto de partes de un conjunto dado S forma el lgebra de Boole con las dos
operaciones = unin and = interseccin. El elemento mnimo 0 es el conjunto vaco
y el elemento mximo 1 es el propio conjunto S.

El conjunto formado por todos los subconjuntos de S que son finitos o cofinitos es
el lgebra de Boole.
Para todo nmero natural n, el conjunto de todos sus divisores positivos forma una
retcula distributiva si definimos a b como a divide a b. Esta retcula es el lgebra
de Boole si y slo si n es libre de cuadrados. El elemento mnimo 0 de este lgebra
es el nmero natural 1; el elemento mximo 1 de este lgebra booleana 1 es el
nmero natural n.
Otros ejemplos del lgebra de Boole surgen de los espacios topolgicos: si X es un
espacio topolgico, entonces la coleccin de todos los sub espacios de X que son
tanto abiertos como cerrados forman un lgebra booleana con las operaciones =
unin y = interseccin.
Si R es un anillo y definimos el conjunto de idempotentes centrales como
A = { e en R : e = e y ex = xe para todo x en R }
entonces el conjunto A se convierte en el lgebra booleana con las operaciones e f = e + f
ef y e f = ef.
Si R es un anillo y definimos el conjunto de idempotentes centrales como
A = { e en R : e = e y ex = xe para todo x en R }
entonces el conjunto A se convierte en el lgebra booleana con las operaciones e f = e + f
ef y e f = ef

APORTACIONES DE PASCAL
Pascal invent la primera calculadora, para ayudar a su padre con las cuentas. La mquina,
llamada Pascalina, era similar a las calculadoras mecnicas de 1940. El diseo de esta
calculadora era complicado, porque en aqulla poca, la moneda en Francia no segua el
sistema decimal. Se fabricaron 50 mquinas pero no se vendieron muy bien y dejaron de
fabricarse.
En 1647 demostr que exista el vaco y en 1648 comprob que la presin atmosfrica
disminua a medida que aumentaba la altura. Pascal demostr mediante un experimento que
el nivel de la columna de mercurio de un barmetro lo determina el aumento o disminucin
de la presin atmosfrica circundante. Este descubrimiento verific la hiptesis del fsico
italiano Evangelista Torricelli respecto al efecto de la presin atmosfrica sobre el
equilibrio de los lquidos.
Seis aos ms tarde, junto con el matemtico francs Pierre de Fermat, Pascal formul la
teora matemtica de la probabilidad, que ha llegado a ser de gran importancia en
estadsticas actuariales, matemticas y sociales, as como un elemento fundamental en los
clculos de la fsica terica moderna.
Otras de las contribuciones cientficas importantes de Pascal son la deduccin del llamado
principio de Pascal, que establece que los lquidos transmiten presiones con la misma
intensidad en todas las direcciones, y sus investigaciones sobre las cantidades
infinitesimales. Pascal crea que el progreso humano se estimulaba con la acumulacin de
los descubrimientos cientficos.

APORTACIONES DE WILLIAM OUGHTRED


En el caso concreto de William Oughtred, se interes por la astronoma y la gnomnica,
pero sobre todo sobresali en el campo de la matemtica, disciplina que lleg a dominar
hasta convertirse en uno de los matemticos ms importantes de su tiempo. Entre sus obras
cabe destacar Clavis Mathematicae (1631), Circles of Proportion and the Horizontal
Instrument (1632) y Trigonometria with Canones Sinuum (1657), publicada esta ltima
poco antes de su muerte acaecida en 1660. Entre sus aportaciones sobresale el empleo de la
letra griega , con valor de 3,1416, como smbolo para expresar el cociente entre la
longitud de la circunferencia y su dimetro, a pesar de que fue Leonhard Euler, el clebre
matemtico suizo, quien populariz su uso. Se atribuye tambin a Oughtred el uso del signo
x para la multiplicacin, y las abreviaturas sin y cos para las funciones trigonomtricas del
seno y el coseno.
Pero sobre todo William Oughtred es conocido y ha pasado a la Historia de la ciencia por la
invencin del instrumento que conocemos como regla de clculo. Basndose en el trabajo
de John Napier sobre los logaritmos, el clrigo construy una regla con varias escalas
numricas, que facilita la realizacin rpida de operaciones aritmticas. Los que peinamos
canas y vivimos la era preinformtica, no disponamos de calculadoras. Las humildes reglas
de clculo constituyeron una herramienta preciosa. Hacia 1980 dejaron de fabricarse en
grandes cantidades, aunque aun actualmente siguen usndose en trabajos industriales muy
especficos, en navegacin martima y area.

SISTEMA BINARIO
El sistema de numeracin binario o de base 2 es un sistema posicional que utiliza slo dos
smbolos para representar un nmero: 1 y 0
La palabra binario viene de "bi-" que significa dos. Tenemos "bi-" en otras palabras como
"bicicleta" (dos ruedas) o "binoculares" (dos ojos).
Los agrupamientos se realizan de 2 en 2: dos unidades de un orden forman la unidad de
orden superior siguiente.
Este sistema de numeracin es sumamente importante ya que es el utilizado por las
computadoras para realizar todas sus operaciones.
En el sistema binario el nmero 2 no existe, cuando llegamos a 2 unidades se forma un

nuevo orden, entonces 2 se escribe "10" en este sistema:

Este sistema, muy prctico para los clculos automatizados con sistemas electrnicos
digitales, es sin embargo un tanto engorroso en la escritura cotidiana, ya que la expresin
de las cantidades resulta muy larga.

SISTEMAS OPERATIVOS
Microsoft cre el sistema operativo Windows a mediados de 1980. A lo largo de los aos,
han ido apareciendo diferentes versiones de Windows, pero las ms recientes son el
Windows 8 (publicado en 2012), el Windows 7 (2009) y el Windows Vista (2007).
MAC OS es una lnea de sistemas operativos creados por Apple. Viene precargada en todos
los ordenadores nuevos de Macintosh o Macs. Las versiones ms recientes son conocidas
como OS X, y versiones especficas incluyendo Yosemite (publicada en 2014), (2012),
Lion (2011), y Snow Leopard (2009). Apple tambin ofrece una versin llamada Mac OS X
Server, diseada para ser ejecutada en los servidores.
Linux es una familia de sistemas operativos de cdigo abierto, lo que significa que ellos
puede ser modificados y distribuidos por cualquier persona alrededor de todo el mundo.
Esta es la diferencia con respecto a los software con propiedad como Windows, ya que solo
puede ser modificado por la compaa a la que pertenece (Microsoft). Las ventajas de
Linux son que es gratuito y que tiene muchas versiones diferentes, por lo que puedes elegir.
Cada versin tiene una apariencia diferente, y las ms populares incluyen Ubuntu, Mint y
Fedora.