![]() |
Resultados en Windows Live®
Resultados en Windows Live® Álgebra de BooleArtículo de la enciclopedia
Álgebra de Boole, rama de las matemáticas con propiedades y reglas similares, aunque diferentes, al álgebra ordinaria. Es útil, entre otras cosas, para la lógica y para la teoría de conjuntos. Formalmente, el álgebra de Boole es un sistema matemático compuesto por un conjunto de elementos, llamado habitualmente B, junto a dos operaciones binarias, que se pueden escribir con los símbolos Å y Ä. Estas operaciones están definidas en el conjunto B y satisfacen los siguientes axiomas:
1. Ambas operaciones son asociativas. Esto es, cualesquiera que sean los elementos x, y, z de B, se cumple que
5. A cada elemento x del conjunto B le corresponde otro elemento llamado complementario de x, que normalmente se representa con el símbolo x′. El elemento x′ cumple las siguientes propiedades con respecto a las dos operaciones Å y Ä:
Las dos operaciones Å y Ä se pueden representar con otra pareja cualquiera de símbolos; +, Ú y È se utilizan a veces en vez de Å; ×, ^, Ç, ·, en vez de Ä. Veamos un ejemplo de un álgebra de Boole. Sea X un conjunto de elementos y sea P(X) el conjunto de todos los posibles subconjuntos del conjunto X. P(X) se denomina normalmente conjunto de las partes del conjunto X. P(X) junto con la unión (È) y la intersección (Ç) de conjuntos forma un álgebra de Boole. En realidad, cualquier álgebra de Boole se puede representar como un álgebra de conjuntos (véase Teoría de conjuntos).
Dada la simetría de los axiomas con respecto a las dos operaciones y sus respectivos elementos neutros, se puede demostrar el llamado principio de dualidad, que afirma que cualquier proposición algebraica verdadera deducible a partir de los axiomas del álgebra de Boole es también verdadera si se intercambian las operaciones Å y Ä y los elementos neutros 1 y 0 en la proposición. Dos de los muchos teoremas que se pueden deducir a partir de los axiomas del álgebra de Boole y que son de gran importancia son las leyes de Morgan, que dicen que
Un álgebra de Boole de proposiciones y una de conjuntos están muy relacionadas. Por ejemplo, sea p la afirmación 'la bola es azul', y sea P el conjunto de todos los elementos para los que la proposición es verdadera, es decir, el conjunto de las bolas azules. P es el conjunto verdad de la proposición p. De esta manera, si P y Q son los conjuntos verdad de las proposiciones p y q, entonces el conjunto verdad de la proposición p Ú q es claramente P È Q y para p ^ q el conjunto verdad es P Ç Q. El álgebra de Boole tiene muchas aplicaciones prácticas en las ciencias físicas, especialmente en la informática y en la electrónica. A continuación se expone un ejemplo del uso del álgebra de Boole en la teoría de circuitos electrónicos. Sean p y q dos proposiciones, es decir, oraciones afirmativas que son o verdaderas o falsas (pero no las dos cosas al mismo tiempo). Si cada una de las proposiciones p y q se asocia con un interruptor que está cerrado si la afirmación es verdadera y abierto si es falsa, entonces la proposición p ^ q se representa en el circuito conectando los interruptores en serie. La corriente circulará por este circuito si y sólo si ambos interruptores están cerrados, esto es, si ambas p y q son verdaderas. De la misma manera, otro circuito se puede usar para representar p Ú q. En este caso los interruptores tienen que estar conectados en paralelo, con lo que la corriente circula si o p o q o ambas son verdaderas (interruptores cerrados). Proposiciones más complejas darán lugar a circuitos más complicados.
© 1993-2008 Microsoft Corporation. Reservados todos los derechos. |
© 2008 Microsoft
![]() ![]() |