ALGEBRA DE BOOLE

Rama de las matemticas con propiedades y reglas similares, aunque diferentes, al lgebra ordinaria. Es til, entre otras cosas, para la lgica y para la teora de conjuntos. Formalmente, el lgebra de Boole es un sistema matemtico compuesto por un conjunto de elementos, llamado habitualmente B, junto a dos operaciones binarias, que se pueden escribir con los smbolos (+) y (*). Estas operaciones estn definidas en el conjunto B y satisfacen los siguientes axiomas: Ambas operaciones son asociativas: Esto es, cualesquiera que sean los elementos x, y, z de B, se cumple que (x + y) + z = x + (y + z) (x * y) * z = x * (y * z). Ambas operaciones son conmutativas. Esto es, para cualquier pareja de elementos x, y del conjunto B, se cumple que x+y=y+x x*y=y*x Cada una de las operaciones (+) y (*) es distributiva con respecto a la otra. Esto es, para tres elementos cualesquiera x, y, z del conjunto B, se cumple que x + (y * z) = (x + y) * (x + z) Y que x * (y + z) = (x * y) + (x * z). En el conjunto B existe un elemento neutro bien definido para cada una de las operaciones (+) y (*). Estos elementos se representan habitualmente con los smbolos 0 y 1, son distintos y tienen la propiedad de que 0+x=x 1*x=x Para cualquier elemento x del conjunto B. A cada elemento x del conjunto B le corresponde otro elemento llamado complementario de x, que normalmente se representa con el smbolo x. El elemento x cumple las siguientes propiedades con respecto a las dos operaciones (+) y (*):

x + x = 0 x * x = 1 Esta estructura recibe este nombre en honor al matemtico ingls George Boole, que la describi en 1854 en su obra Investigacin sobre las leyes del pensamiento.

Las dos operaciones (+) y (*) se pueden representar con otra pareja cualquiera de smbolos; +, y se utilizan a veces en vez de (+); , ^, , , en vez de (*). A continuacin se expone un ejemplo del uso del lgebra de Boole en la teora de circuitos electrnicos. 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 afirmacin es verdadera y abierto si es falsa, entonces la proposicin p ^ q se representa en el circuito conectando los interruptores en serie. La corriente circular por este circuito si y slo si ambos interruptores estn 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 ms complejas darn lugar a circuitos ms complicados.