Vous êtes sur la page 1sur 10

Álgebra de Boole

1

Álgebra de Boole
Álgebra de Boole (también llamada Retículas booleanas) en informática y matemática, es una estructura algebraica que esquematiza las operaciones lógicas Y, O , NO y Si (AND,OR,NOT,IF), así como el conjunto de operaciones unión, intersección y complemento. Se denomina así en honor a George Boole (2 de noviembre de 1815 a 8 de diciembre de 1864), matemático inglés que fue el primero en definirla como parte de un sistema lógico a mediados del siglo XIX. El álgebra de Boole fue un intento de utilizar las técnicas algebraicas para tratar expresiones de la lógica proposicional. En la actualidad, el álgebra de Boole se aplica de forma generalizada en el ámbito del diseño electrónico. Claude Shannon fue el primero en aplicarla en el diseño de circuitos de conmutación eléctrica biestables, en 1948.

Una álgebra de Boole es una tripleta para cualquier 1. Propiedad conmutativa:

. Donde

,

y son operaciones internas en

y además

se cumplen los siguientes axiomas:

2. Propiedad asociativa:

3. Propiedad distributiva:

4. Propiedad de los neutros. Existen

tales que:

5. Propiedad de los opuestos. Existe

tal que:

Ley de Asociatividad: 3.Álgebra de Boole 2 0 1 1 0 1 1 0 1 1 0 0 0 Como retículo Como retículo presenta las siguientes propiedades. veamos las más fundamentales: Operación suma . sobre estos elementos se definen varias operaciones. Ley de Cancelativo Operaciones Hemos definido el conjunto A = {1. Ley de Idempotencia: 2. las leyes principales son estas: 1.0} como el conjunto universal sobre el que se aplica el álgebra de Boole. Ley de Conmutatividad: 4.

Álgebra de Boole 3 a b a+b 0 0 0 1 1 0 1 1 0 1 1 1 La operación suma (+) asigna a cada par de valores a. . el resultado será 1. b de A un valor c de A: Esta operación en lógica de interruptores es un circuito en serie de dos interruptores solo si los dos valores a y b son 1. Si uno de los valores de a o b es 1. Operación producto a b a b 0 0 0 1 1 0 1 1 0 0 0 1 La operación producto ( ) asigna a cada par de valores a. el resultado será 1. si uno solo de ellos es 0 el resultado será 0. b de A un valor c de A: Su equivalencia en lógica de interruptores es un circuito de dos interruptores en paralelo. es necesario que los dos sumandos sean 0. para que el resultado sea 0.

que podemos representar como ecuaciones booleanas. siendo el primero de ellos inverso. .Álgebra de Boole 4 Operación negación a 0 1 1 0 La operación negación presenta el opuesto del valor de a: Un interruptor inverso equivale a esta operación: Operaciones combinadas a b 0 0 1 0 1 1 1 0 0 1 1 0 1 1 0 1 Partiendo de estas tres operaciones elementales se pueden realizar otras más complejas. por ejemplo: Que representado en lógica de interruptores es un circuito de dos interruptores en paralelo. La distinta secuencia de valores de a y b da los resultados vistos en la tabla de verdad.

Además hay que cambiar cada variable por su negada. Ley de idempotencia: 2. Ley de identidad: 8. Ley de cancelación: 7. Ley de involución: 3. Ley conmutativa: 4. y este resultado es único. pero es totalmente necesario para la correcta aplicación del principio de dualidad. Ley asociativa: 5. 1. Esto causa confusión al aplicarlo en los teoremas básicos. Véase que esto no modifica la tabla adjunta. Ley distributiva: 6. . formada mediante el intercambio de los operadores unión (suma lógica) con los de intersección (producto lógico). y de los 1 con los 0.Álgebra de Boole 5 Leyes fundamentales El resultado de aplicar cualquiera de las tres operaciones definidas a variables del sistema booleano resulta en otra variable del sistema. Leyes de De Morgan: Principio de dualidad El concepto de dualidad permite formalizar este hecho: a toda relación o ley lógica le corresponderá su dual.

normalmente con una letra mayúscula.1}. Se emplean apóstrofos (') para indicar la negación. Por ejemplo las leyes de De Morgan se representan así: ) siendo la forma más usual y la más Cuando el álgebra de Boole se emplea en electrónica. con letra minúsculas para las variables: . no una variable nombrada con dos letras.Álgebra de Boole 6 Adición 1 2 3 4 5 6 7 8 9 Producto Otras formas de notación del álgebra de Boole En matemática se emplea la notación empleada hasta ahora ({0. 1} Empleando esta notación las leyes de De Morgan se representan: En su aplicación a la lógica se emplea la notación verdadero. V}. ampliándose en ocasiones con X-OR (O exclusiva) y su negadas NAND (NO Y). suele emplearse la misma denominación que para las puerta lógica AND (Y). NOR (NO O) y X-NOR (equivalencia). + . las variables pueden representarse con letras mayúsculas o minúsculas. la operación suma (+) se representa de la forma normal en álgebra. 1} Con la notación lógica las leyes de De Morgan serían así: y las variables pueden tomar los valores {F. cómoda de representar. y para el producto no se emplea ningún signo. OR (O) y NOT (NO). falso o En el formato de Teoría de conjuntos el Álgebra de Boole toma el aspecto: En esta notación las leyes de De Morgan serían así: Desde el punto de vista practico existe una forma simplificada de representar expresiones booleanas. la sucesión de dos variables indica el producto entre ellas. y pueden tomar los valores {0. equivalentes a {0. La representación de las leyes de De Morgan con este sistema quedaría así. las variables se representan.

y lo mismo sucede con casi cualquier cadena (menos la "false". Esto. la variable contiene un 0 lógico o un 1 lógico. Jerarquía de los operadores Al evaluar una expresión booleana. empleando letras mayúsculas para representar las variables: 7 Todas estas formas de representación son correctas. en principio. en caso de ser ésta la correspondiente al 0 lógico). El 0 lógico El valor booleano de negación suele ser representado como false. finalizando en valor booleano. y pueden verse al consultar bibliografía. respectivamente. La utilización de una u otra notación no modifica el álgebra de Boole. Una variable puede no ser de tipo booleano. y guardar valores que. no son booleanos. e incluso la cadena "0". por definición. en general. Si existen paréntesis. los compiladores trabajan con esos otros valores. deben resolverse primero los más internos y trabajar hacia fuera. representado normalmente como true. entero y decimal (exacto) 0. el resto de valores apuntan al valor booleano de afirmación. El 1 lógico En cambio.Operación AND 3. de mayor a menor. deben realizarse las operaciones de acuerdo con su nivel jerárquico. se traduce en false (falso) o true (verdadero). Cualquier número distinto de cero se comporta como un 1 lógico. así como la cadena "false". éstas pueden ser evaluadas de derecha a izquierda o de izquierda a derecha. Álgebra de Boole aplicada a la informática Se dice que una variable tiene valor booleano cuando. globalmente. caracteres.Operación NOT 2. en la mayoría de los lenguajes de programación. la siguiente: 1. se utilizan de hecho. el valor 1 se tiene cuando no es 0.Operación OR Si se tienen varias operaciones con la misma jerarquía. considérese la evaluación de las siguientes .. ya que. el resultado será el mismo Como ejemplo.. solo su aspecto.Álgebra de Boole y así. numéricos normalmente aunque también algunos permiten cambios desde. la jerarquía de las operaciones es. ya que. realizando primero la de mayor jerarquía. En ausencia de paréntesis. incluso.. aunque también permite y equivale al valor natural. y depende de la rama de las matemáticas o la tecnología en la que se esté utilizando para emplear una u otra notación.

Editorial UOC. García Zubia. Antonio. Puertas lógicas y álgebra de Boole. Universidad Politécnica de Cataluña.L..L.. Àlgebres de Boole (gestió) (1998 edición).. Retículo completo de Boole. ISBN 84-7485-929-8.1 entorno de diseño lógico (2005 edición). 7. 8. ISBN 84-607-9518-7. Montes Lozano. Javier. José Carlos. . ed. Universidad de Oviedo. 4. 5. Sotomayor Basilio. Editorial UOC. García Zubia. 10. [5] Álgebra de Boole y Diseño de Computadoras (PDF) [6] Bibliografía 1. 2. Universidad de Deusto. ed. Gines Gómez. ed. V-K. Editorial UOC. Retículo completo de Boole. González Carlomán. Antonio. ed. ISBN 84-933451-0-5. Tiñena Salvañà. Álgebras de Boole (2002 edición). Francesc. ISBN 84-8317-534-7. Editorial UOC. 9.L. electrónica digital técnica de telecomunicación (1998 edición). Francesc. Boole-Deusto entorno de diseño lógico (2004 edición). Sotomayor Basilio. Jesús. Commons Álgebra de Boole y puertas lógicas [1] Álgebra de Boole [2] Álgebra de Boole [3] Álgebra de Boole [4] BOOLE-DEUSTO SW didáctico: Tablas de verdad. S. Sanz Martínez. ISBN 84-8318-582-2. B=0 y C=0.. González Carlomán.. Departamento de Publicaciones. Álgebra de Boole para ingeniera técnica (2004 edición). José Carlos. ISBN 84-8318-614-4. ISBN 84-7485-973-5. 3.Álgebra de Boole expresiones booleanas para A=1. Boole-Deusto v2. Àlgebres de Boole (1998 edición). Borja. ed. ISBN 84-8429-926-0.L. ISBN 84-8429-979-1. ed. ISBN 84-8317-264-X. Departamento de Publicaciones. 6. Giménez Pradales. S. S. autómatas. Álgebras de Boole (2002 edición). Jesús. Javier. Antoni. Expresión : 8 (Sustitución de valores) (Evaluación de los NOT) (Evaluación de los AND) (evaluación de los OR) Véase también • • • • • Función booleana Formas Canónicas (Álgebra de Boole) Circuitos de conmutación Lógica binaria Puerta lógica • Sistema digital • Tabla de verdad Enlaces externos • • • • • • • Wikimedia Commons alberga contenido multimedia sobre Álgebra de Boole. Universidad de Oviedo. Tiñena Salvañà. teoría de conjuntos (2006 edición). ed. Lógica matemática teoría de conjuntos (2001 edición). Servicio de Publicaciones. Universidad de Deusto. ed. Antoni. ed. Sanz Martínez. Borja. lógica matemática. Ginés Gómez.. Montes Lozano. ed. S. José Miguel. Departamento de Matemática Aplicada III. Servicio de Publicaciones.

. Editorial Tecnos. Ignacio. Román Jiménez. Glaude. ISBN 84-316-3294-1. es/ ~cmunoz11/ boole. 12. deusto. Xavier. ed. Álgebras de Boole y lógica (1989 edición). Álgebra de Boole y funciones lógicas (1996 edición). Casanova. ISBN 968-444-417-6. rincondelvago.A. Jaime. Sergio. iespana. Sánchez López.Álgebra de Boole 11. 14. 15. pntic. com/ algebra-de-boole-y-puertas-logicas. Álgebra de Boole (1993 edición). mec. es/ bnunez/ Archivos%20propios/ Digitales/ Algebra_Boole. es/ zubia http:/ / www. ISBN 84-7875-040-1. pdf http:/ / electronred. Permingeat. S. José Antonio. net/ shared/ db3n75vgfg . Masip Bruin. ed. Olvera Rodriguez. El álgebra de Boole (1975 edición). Ediciones UPC. ed. box. es/ alg_boole. Universidad de Barcelona. Denis. S. Publicaciones y Ediciones. htm http:/ / usuarios. Martínez Garza. 9 Referencias [1] [2] [3] [4] [5] [6] http:/ / apuntes.L. Jane Ihnsa. ed. ISBN 84-309-0580-4. ISBN 84-89636-20-6. pdf http:/ / paginaspersonales.. 13. Editorial Vicens-Vives. Organización y arquitectura de computadoras (2000 edición). html http:/ / serbal. Noel. Gaston. lycos.

wikipedia.svg  Fuente: http://es.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 020.org/w/index.php?title=Archivo:Interruptor_lógico_032.php?title=Archivo:Interruptor_lógico_073.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 071. Licencia Creative Commons Attribution-Share Alike 3.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 070.wikipedia.wikipedia.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Commons-logo.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 081.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 072.wikipedia.org/w/index.svg  Fuente: http://es.wikipedia.wikipedia.wikipedia.svg  Fuente: http://es.wikipedia.svg  Fuente: http://es.svg  Fuente: http://es.org/w/index.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 083.org/w/index.wikipedia.wikipedia.php?oldid=49606355  Contribuyentes: - Fuentes de imagen.org/w/index.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 000.wikipedia. 0/ .svg  Fuente: http://es.svg  Fuente: http://es.php?title=Archivo:Interruptor_lógico_020.php?title=Archivo:Interruptor_lógico_031.svg  Fuente: http://es. org/ licenses/ by-sa/ 3.0 Unported http:/ / creativecommons.wikipedia.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 084.org/w/index.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 022.wikipedia.php?title=Archivo:Interruptor_lógico_084.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 030.svg  Fuente: http://es. Licencias y contribuyentes Archivo:Interruptor lógico 032.svg  Fuente: http://es.svg  Fuente: http://es.svg  Licencia: logo  Contribuyentes: SVG version was created by User:Grunt and cleaned up by 3247.wikipedia.php?title=Archivo:Interruptor_lógico_021.org/w/index.svg  Fuente: http://es. created by Reidab.php?title=Archivo:Interruptor_lógico_083.org/w/index.svg  Fuente: http://es.php?title=Archivo:Interruptor_lógico_000.org/w/index.wikipedia.org/w/index.org/w/index.php?title=Archivo:Interruptor_lógico_034.php?title=Archivo:Interruptor_lógico_082.svg  Fuente: http://es.svg  Fuente: http://es.php?title=Archivo:Interruptor_lógico_030.svg  Fuente: http://es.svg  Fuente: http://es.php?title=Archivo:Interruptor_lógico_074.wikipedia.wikipedia.php?title=Archivo:Interruptor_lógico_072.org/w/index.php?title=Archivo:Interruptor_lógico_071.svg  Fuente: http://es.svg  Fuente: http://es.org/w/index.svg  Fuente: http://es.org/w/index.Fuentes y contribuyentes del artículo 10 Fuentes y contribuyentes del artículo Álgebra de Boole  Fuente: http://es. based on the earlier PNG version.php?title=Archivo:Interruptor_lógico_022.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 034.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 021.org/w/index.php?title=Archivo:Interruptor_lógico_070.php?title=Archivo:Commons-logo.org/w/index.php?title=Archivo:Interruptor_lógico_081.php?title=Archivo:Interruptor_lógico_080.org/w/index.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 073.org/w/index.wikipedia.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 033.org/w/index.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 074.wikipedia.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 031.php?title=Archivo:Interruptor_lógico_033.php?title=Archivo:Interruptor_lógico_001.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 080.org/w/index.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 082.org/w/index.wikipedia.wikipedia.org/w/index.wikipedia.svg  Fuente: http://es.svg  Licencia: Public Domain  Contribuyentes: User:Dnu72 Archivo:Interruptor lógico 001.