Académique Documents
Professionnel Documents
Culture Documents
lgebra de Boole
De Wikipedia, la enciclopedia libre
lgebra de Boole (tambin llamada retcula 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.
ndice
1 Historia
2 Definicin
2.1 Axiomas necesarios
2.2 Teoremas fundamentales
2.3 Orden en el lgebra de Boole
2.4 Principio de dualidad
3 Otras formas de notacin del lgebra de Boole
4 Estructuras algebraicas que son lgebra de Boole
4.1 Lgica binaria
4.1.1 Axiomas
4.1.2 Teoremas fundamentales
4.1.3 Orden en el lgebra de Boole
4.2 lgebra de conjuntos
4.2.1 Axiomas
4.2.2 Teoremas fundamentales
4.2.3 Orden en el lgebra de Boole
4.3 Lgica proposicional o de predicados
4.3.1 Axiomas
4.3.2 Teoremas fundamentales
4.3.3 Orden en el lgebra de Boole
5 Operaciones en lgebra de Boole
5.1 Operaciones nularias
5.2 Operaciones unarias
5.3 Operaciones binarias
6 Frmula de Boole bien formada
6.1 Jerarqua de los operadores
7 Vase tambin
8 Enlaces externos
9 Referencias
10 Bibliografa
Historia
es.wikipedia.org/wiki/lgebra_de_Boole
1/29
06/04/13
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.
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.
Definicin
Dado un conjunto:
en el que se ha definido:
Para todo elemento a en B, se cumple que existe un nico b en B, tal que b es el complemento de a.
La operacin binaria interna, que llamaremos suma:
por la que definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le asigna un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de
sumar a con b.
La operacin binaria interna, que llamaremos producto:
Con lo que definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le asigna un c de B.
es.wikipedia.org/wiki/lgebra_de_Boole
2/29
06/04/13
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado del
producto a y b.
Dada la definicin del lgebra de Boole como una estructura algebraica genrica, segn el caso concreto de que se
trate, la simbologa y los nombres de las operaciones pueden variar.
Axiomas necesarios
Diremos que este conjunto y las operaciones as definidas:
las siguientes axiomas:
es.wikipedia.org/wiki/lgebra_de_Boole
3/29
06/04/13
Teoremas fundamentales
Partiendo de los cinco axiomas anteriores, se pueden deducir y demostrar los siguientes teoremas fundamentales:
6a: Ley de idempotencia para la suma:
9: Ley de involucin:
4/29
06/04/13
Sea:
un lgebra de Boole, sean a, b dos elementos del conjunto, podremos decir entonces que a
antecede a b y lo denotamos:
Principio de dualidad
El concepto de dualidad permite formalizar este hecho: a toda relacin o ley lgica le corresponder su dual,
formada mediante el intercambio de los operadores suma con los de producto, y de los con los .
Adicin
Producto
1
2
3
4
5
6
7
8
9
es.wikipedia.org/wiki/lgebra_de_Boole
5/29
06/04/13
Cuando el lgebra de Boole se emplea en electrnica, suele emplearse la misma denominacin que para las puerta
lgica AND (Y), OR (O) y NOT (NO), amplindose en ocasiones con X-OR (O exclusiva) y su negadas NAND
(NO Y), NOR (NO O) y X-NOR (equivalencia). las variables pueden representarse con letras maysculas o
minsculas, y pueden tomar los valores {0, 1}
Empleando esta notacin las leyes de De Morgan se representan:
Otra forma en la lgebra de conjuntos del lgebra de Boole, las leyes de De Morgan seran as:
Desde el punto de vista prctico existe una forma simplificada de representar expresiones booleanas. Se emplean
apstrofos (') para indicar la negacin, la operacin suma (+) se representa de la forma normal en lgebra, y para
el producto no se emplea ningn signo, las variables se representan, normalmente con una letra mayscula, la
sucesin de dos variables indica el producto entre ellas, no una variable nombrada con dos letras.
La representacin de las leyes de De Morgan con este sistema quedara as, con letra minsculas para las variables:
Todas estas formas de representacin son correctas, se utilizan de hecho, y pueden verse al consultar bibliografa.
La utilizacin de una u otra notacin no modifica el lgebra de Boole, solo su aspecto, y depende de la rama de las
matemticas o la tecnologa en la que se est utilizando para emplear una u otra notacin.
es.wikipedia.org/wiki/lgebra_de_Boole
6/29
06/04/13
Lgica binaria
Una serie de temas, aparentemente tan distintos, tiene dos cosas en comn, la lgica binaria basada en los ceros y
los unos y el lgebra de Boole, posiblemente la forma ms conocida de este lgebra, que en ocasiones da lugar a la
interpretacin que el lgebra de Boole es la lgica binaria exclusivamente, as el conjunto
en este caso esta
formado por dos elementos {0,1}, o {F,V}, o {no, si}, dos valores contrapuestos, que son las dos posibles
alternativas entre dos situaciones posibles, aqu, sin perdida de la generalidad, tomaremos el conjunto: {0,1} como
ya hemos dicho:
Donde:
La operacin unaria interna negacin, definimos una aplicacin que a cada elemento a de {0,1}, le asigna
un b de {0,1}.
Para todo elemento a en {0.1}, se cumple que existe un nico b en {0,1}, tal que b es la negacin de a. Como se
ve en la tabla.
La operacin binaria interna, que llamaremos suma:
Con la operacin suma definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.
Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de sumar
a con b.
es.wikipedia.org/wiki/lgebra_de_Boole
7/29
06/04/13
Con la operacin producto definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le
asigna un c de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado del
producto a y b. Como se puede ver en la tabla.
Axiomas
As
es.wikipedia.org/wiki/lgebra_de_Boole
8/29
06/04/13
Luego
es lgebra de boole.
Teoremas fundamentales
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:
6a: Ley de idempotencia para la suma:
9: Ley de involucin:
9/29
06/04/13
lgebra de Boole, dadas dos variables binarias: a, b, que cumplen alguna de estas
entonces a es menor o igual que b. Dados los valores binarios 0 y 1, podemos ver:
1.
2.
3.
4.
Estas cuatro condiciones son equivalentes y el cumplimiento de una de ellas supone el cumplimiento de las otras, en
este caso es sencillo comprobarlas todas. Luego podemos decir que 0 antecede a 1 y lo denotamos:
lgebra de conjuntos
Partiendo de un conjunto U, cualesquiera, llamamos conjunto potencia de U, al
conjunto de todos los subconjuntos posibles de U y lo denotamos
.
A ttulo de ejemplo podemos considerar:
es.wikipedia.org/wiki/lgebra_de_Boole
10/29
06/04/13
Y como es obvio:
Para todo elemento A en P(U), se cumple que existe un nico B en P(U), tal que
B es el complemento A.
Definiendo el complemento de un conjunto as:
Con esta operacin binaria interna definimos una aplicacin que, a cada par
ordenado (A, B) de P(U) por P(U), le asigna un C de P(U).
Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un nico C en P(U), tal que C es la unin
A y B.
Definiendo la unin de dos conjuntos como:
11/29
06/04/13
Con lo que definimos una aplicacin que, a cada par ordenado (A, B) de P(U)
por P(U), le asigna un C de P(U).
Para todo par ordenado (A,B) en P(U) por P(U), se cumple que existe un nico C en P(U), tal que C es la
interseccin A y B.
Definiendo la interseccin de dos conjuntos como:
12/29
06/04/13
Concluyendo que
es un lgebra de boole.
Teoremas fundamentales
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:
6a: Ley de idempotencia para la unin:
es.wikipedia.org/wiki/lgebra_de_Boole
13/29
06/04/13
9: Ley de involucin:
1.
2.
3.
4.
Para los conjuntos A y B que cumplen estas propiedades, podemos decir que A antecede a B, que en el caso de
conjuntos se dira A es igual o un subconjunto de B y lo denotamos:
14/29
06/04/13
Esta conclusin forma parte de la definicin de las partes de U, pero se puede llegar a ella por el cumplimiento de
una de las cuatro condiciones expuestas, como ya se menciono, las cuatro condiciones son equivalentes y el
cumplimiento de una de ellas implica el cumplimiento de las dems.
Aplicando el mismo razonamiento podemos ver:
Siendo B un conjunto de las partes de U, llegando a la conclusin de que el conjunto vaco es igual o un
subconjunto de B.
La operacin unaria interna negacin, definimos una aplicacin que a cada proposicin a, le asigna otra poposicin
b.
es.wikipedia.org/wiki/lgebra_de_Boole
15/29
06/04/13
Para toda proposicin a, se cumple que existe una nica proposicin b, tal que b es la negacin de a.
La primera operacin binaria interna, que llamaremos disyuncin:
Con la operacin disyuncin, definimos una aplicacin que a cada par ordenado (a, b) de B por B, le asigna un c
de B.
Para todo par ordenado (a,b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de la
disyuncin de a y b.
La segunda operacin binaria interna, que llamaremos conjuncin:
Con la operacin conjuncin definimos una aplicacin que, a cada par ordenado (a, b) de B por B, le asigna un c
de B.
Para todo par ordenado (a, b) en B por B, se cumple que existe un nico c en B, tal que c es el resultado de la
conjuncin de a y b.
Axiomas
As
es.wikipedia.org/wiki/lgebra_de_Boole
16/29
06/04/13
Luego
es lgebra de boole.
Teoremas fundamentales
Partiendo de estos axiomas se puede demostrar los siguientes teoremas:
6a: Ley de idempotencia para la disyuncin:
es.wikipedia.org/wiki/lgebra_de_Boole
17/29
06/04/13
9: Ley de involucin:
1.
2.
3.
4.
Para las proposiciones: a, b que cumplen alguna de estas condiciones se puede afirmar que a antecede a b. Que en
el caso de proposiciones o predicados se dice que a es tanto o ms fuerte que b, o que b es ms dbil que a, y lo
representamos:
es.wikipedia.org/wiki/lgebra_de_Boole
18/29
06/04/13
La proposicin llueve mucho es tanto o ms fuerte que llueve, la afirmacin llueve mucho es un caso particular o
el mismo caso de llueve.
es.wikipedia.org/wiki/lgebra_de_Boole
19/29
06/04/13
Esta expresin resulta ms compleja, pero partiendo de la negacin y el producto binarios define la suma binaria.
En la imagen de la derecha podemos ver un circuito en paralelo de dos pulsadores a y b, que corresponde a la
suma binaria de a y b, y su equivalente en un circuito en serie de a y b, los dos dan como resultado la misma tabla
de verdad, y por tanto son equivalentes, lo artificioso el circuito serie para obtener el mismo resultado que en un
circuito paralelo deja ver lo conveniente de considerar esa funcin, la posibilidad de obtener la suma de dos
variables binarias mediante la negacin y el producto sealan que, de forma primaria, el lgebra de Boole se basa
solo en dos operaciones, y que cualquier expresin en la que intervenga la suma puede transformarse en otra
equivalente en la que solo intervienen la negacin y el producto.
En el caso de la teora de conjuntos con el complemento y la interseccin podemos definir la unin:
De una forma similar al lgebra binaria, o cualquier otra lgebra de Boole, La definicin del lgebra con solo dos
operaciones complica las expresiones, pero permite determinar ciertas relaciones muy tiles, as como otras
operaciones distintas.
En el lgebra de Boole definido en un conjunto
, para obtener un resultado en .
Sin perdida de la generalidad, y dado los distintos formas que puede adoptar el lgebra de Boole consideraremos
la lgica proposicional con las proposiciones: a, c, b, etc. Que pueden tomar los valores verdadero: V o falso: F. Y
las conectivas lgicas sobre esas proposiciones que dan como resultado otras proposiciones lgicas, cada
proposicin: a, b, c, etc. Define un conjunto A, B, C, etc. Que podemos representar de forma grfica en un
diagrama de Venn.
Operaciones nularias
Una Operacin nularia es la que devuelve un valor sin necesidad de argumentos, podemos ver Tautologa y
Contradiccin
La tautologa presenta el valor verdadero sin necesidad de argumentos
o independientemente de las variables sobre la que se calcule. En teora
de conjuntos corresponde al conjunto universal.
En lgica proposicional corresponde al valor: verdadero:
es.wikipedia.org/wiki/lgebra_de_Boole
20/29
06/04/13
Operaciones unarias
Una Operacin unaria es la que solo necesita un argumento para presentar un resultado, podemos ver dos
operaciones unarias: identidad y negacin.
La operacin identidad de una proposicin presenta el valor de la
variacin.
es.wikipedia.org/wiki/lgebra_de_Boole
21/29
06/04/13
Operaciones binarias
La operacin binaria es la que necesita dos argumentos, de hecho es la forma ms generalizada de operacin,
normalmente cuando nos referimos a operaciones, nos referimos a operaciones binarias, en el lgebra de Boole
podemos ver las siguientes operaciones binarias:
La conjuncin lgica presenta resultado cierto solo cuando
sus dos argumentos son ciertos.
Normalmente representado:
es.wikipedia.org/wiki/lgebra_de_Boole
22/29
06/04/13
es.wikipedia.org/wiki/lgebra_de_Boole
23/29
06/04/13
es.wikipedia.org/wiki/lgebra_de_Boole
24/29
06/04/13
25/29
06/04/13
Esta operacin tambin se llama o exclusivo, uno o el otro pero no los dos, le corresponde la puerta lgica: XOR.
26/29
06/04/13
4: El resultado de sustituir en una formula bien formada, una variable o constante por una formula bien formada:
La aplicacin repetida de estos criterios dar siempre una formula bien formada.
ejemplo:
Se podrn emplear tantos parntesis como sean necesarios para evitar ambigedades, evitando siempre la
utilizacin superflua de parntesis.
Vase tambin
es.wikipedia.org/wiki/lgebra_de_Boole
27/29
06/04/13
Funcin booleana
Formas Cannicas (lgebra de Boole)
Circuitos de conmutacin
Lgica binaria
Puerta lgica
Sistema digital
Tabla de verdad
Operador a nivel de bits
Enlaces externos
Wikimedia Commons alberga contenido multimedia sobre lgebra de Boole.
lgebra
de
Boole
Definicin
(ftp://ftp.ehu.es/cidira/dptos/depjt/Apuntes/Electronica%20digital/Algebra%20de%20conmut.pdf)
lgebra de Boole y puertas lgicas (http://apuntes.rincondelvago.com/algebra-de-boole-y-puertaslogicas.html)
Tema 5: lgebra de Boole y Funciones Lgicas (http://arantxa.ii.uam.es/~ig/teoria/temas/IG_tema-5-20082009.pdf)
lgebra de Boole (http://electronred.iespana.es/alg_boole.htm)
lgebra Booleana (http://lc.fie.umich.mx/~jrincon/elec3-cap4.pdf)
TEMA
6.
LGEBRA
DE
BOOLE
(http://ocw.usal.es/eduCommons/ensenanzastecnicas/electronica/contenido/electronica/Tema6_AlgebraBOOLE.pdf)
BOOLE-DEUSTO
SW
didctico:
Tablas
de
verdad,
V-K,
autmatas...
(http://paginaspersonales.deusto.es/zubia)
lgebra de Boole (http://serbal.pntic.mec.es/~cmunoz11/boole.pdf)
lgebra de Boole (http://users.dcc.uchile.cl/~clgutier/Capitulo_3.pdf)
lgebra de Boole (http://usuarios.lycos.es/bnunez/Archivos%20propios/Digitales/Algebra_Boole.pdf)
lgebra de Boole y Diseo de Computadoras (PDF) (http://www.box.net/shared/db3n75vgfg)
Curso
Completo
de
Electrnica
Digital
(http://www.edudevices.com.ar/download/articulos/digitales/Cur_dig_03.pdf)
lgebra de Boole y circuitos con puertas lgicas (http://www.esi2.us.es/~jaar/Datos/FIA/T3.pdf)
TEMA 3. lgebra de Boole (http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_0405.pdf)
Referencias
1. Boole, George; Requena Manzano, Esteban: tr. (1 de 1984) (en espaol). El anlisis matemtico de la lgica (2
edicin). Ediciones Ctedra, S.A.. ISBN 978-84-376-0208-0.
2. Boole, George; Surez Hernndez, Jos Antonio: tr. (3 de 1982) (en espaol). Investigacin sobre las leyes del
pensamiento (1 edicin). Ediciones Paraninfo. S.A.. ISBN 978-84-283-1168-7.
Bibliografa
1. AYRES, Frank. Mc Graw-Hill. Serie Schaum. ed. lgebra Moderna (1994 edicin). ISBN 968-422-917-8.
2. Gonzlez Carlomn, Antonio. Universidad de Oviedo. Servicio de Publicaciones. ed. Retculo completo de
Boole, lgica matemtica, teora de conjuntos (2006 edicin). ISBN 84-8317-534-7.
es.wikipedia.org/wiki/lgebra_de_Boole
28/29
06/04/13
3. Garca Zubia, Javier; Sanz Martnez, Jess; Sotomayor Basilio, Borja. Universidad de Deusto.
Departamento de Publicaciones. ed. Boole-Deusto v2.1 entorno de diseo lgico (2005 edicin). ISBN 847485-973-5.
4. Gimnez Pradales, Jos Miguel. Universidad Politcnica de Catalua. Departamento de Matemtica
Aplicada III. ed. lgebra de Boole para ingeniera tcnica (2004 edicin). ISBN 84-933451-0-5.
5. Garca Zubia, Javier; Sanz Martnez, Jess; Sotomayor Basilio, Borja. Universidad de Deusto.
Departamento de Publicaciones. ed. Boole-Deusto entorno de diseo lgico (2004 edicin). ISBN 84-7485929-8.
6. Gins Gmez, Jos Carlos. Gines Gmez, Jos Carlos. ed. Puertas lgicas y lgebra de Boole,
electrnica digital tcnica de telecomunicacin (1998 edicin). ISBN 84-607-9518-7.
7. Montes Lozano, Antoni. Editorial UOC, S.L.. ed. lgebras de Boole (2002 edicin). ISBN 84-8429-979-1.
8. Montes Lozano, Antoni. Editorial UOC, S.L.. ed. lgebras de Boole (2002 edicin). ISBN 84-8429-926-0.
9. Gonzlez Carlomn, Antonio. Universidad de Oviedo. Servicio de Publicaciones. ed. Retculo completo de
Boole. Lgica matemtica teora de conjuntos (2001 edicin). ISBN 84-8317-264-X.
10. Tiena Salva, Francesc. Editorial UOC, S.L.. ed. lgebres de Boole (gesti) (1998 edicin). ISBN 848318-582-2.
11. Tiena Salva, Francesc. Editorial UOC, S.L.. ed. lgebres de Boole (1998 edicin). ISBN 84-8318-614-4.
12. Permingeat, Noel; Glaude, Denis. Editorial Vicens-Vives, S.A.. ed. lgebra de Boole (1993 edicin). ISBN
84-316-3294-1.
13. Masip Bruin, Xavier; Romn Jimnez, Jos Antonio; Snchez Lpez, Sergio. Ediciones UPC, S.L.. ed.
lgebra de Boole y funciones lgicas (1996 edicin). ISBN 84-89636-20-6.
14. Jane Ihnsa, Ignacio. Universidad de Barcelona. Publicaciones y Ediciones. ed. lgebras de Boole y lgica
(1989 edicin). ISBN 84-7875-040-1.
15. Casanova, Gastn. Editorial Tecnos. ed. El lgebra de Boole (1975 edicin). ISBN 84-309-0580-4.
16. Martnez Garza, Jaime; Olvera Rodrguez. Organizacin y arquitectura de computadoras (2000 edicin).
ISBN 968-444-417-6.
Obtenido de http://es.wikipedia.org/w/index.php?title=lgebra_de_Boole&oldid=65816238
Categora: lgebra de Boole
Esta pgina fue modificada por ltima vez el 31 mar 2013, a las 20:09.
El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser
aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin.
Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.
es.wikipedia.org/wiki/lgebra_de_Boole
29/29