Colegio Fray Bernardino De Crdenas

Matemtica

Algebra De Boole

1. Historia 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.

2. George Boole

El matemtico britnico George Boole describi en Investigacin sobre las leyes del pensamiento (1854) un sistema algebraico que se conoci ms tarde como lgebra de

Estudiante: Gutirrez Ludea Camilo Sebastin Docente: Lic. Israel Mamani Q.

Curso: 6 Verde

Colegio Fray Bernardino De Crdenas

Matemtica

Algebra De Boole
Boole. Este sistema tiene numerosas aplicaciones prcticas en informtica, por ejemplo, resulta til en el uso de motores de bsqueda en Internet. 3. lgebra 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

xy=yx xy=yx
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)

Estudiante: Gutirrez Ludea Camilo Sebastin Docente: Lic. Israel Mamani Q.

Curso: 6 Verde

Colegio Fray Bernardino De Crdenas

Matemtica

Algebra De Boole
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

0x=x 1x=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 . 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 unin () y la

Estudiante: Gutirrez Ludea Camilo Sebastin Docente: Lic. Israel Mamani Q.

Curso: 6 Verde

Colegio Fray Bernardino De Crdenas

Matemtica

Algebra De Boole
interseccin () de conjuntos forma un lgebra de Boole. En realidad, cualquier lgebra de Boole se puede representar como un lgebra de conjuntos. Dada la simetra 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 proposicin algebraica verdadera deducible a partir de los axiomas del lgebra de Boole es tambin verdadera si se intercambian las operaciones y y los elementos neutros 1 y 0 en la proposicin. 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

(x y) = x y
Y que

(x y) = x y
Los elementos que forman el conjunto B de un lgebra de Boole pueden ser objetos abstractos o cosas concretas como nmeros, proposiciones, conjuntos o redes elctricas. En el desarrollo original de Boole, los elementos de su lgebra eran una coleccin de proposiciones, o simplemente oraciones gramaticales con la propiedad de ser verdaderas o falsas. Las operaciones eran, esencialmente, la disyuncin y la conjuncin, que se escriben con los smbolos y ^ respectivamente. Si x e y representan dos proposiciones, entonces la expresin x y (leda 'x o y') es verdadera si y slo si o x o y o ambas son verdaderas. La proposicin x ^ y (leda 'x e y') es verdadera si y slo si ambas son verdaderas. En esta lgebra de Boole, el complementario de un elemento o proposicin es simplemente la negacin de la proposicin. Un lgebra de Boole de proposiciones y una de conjuntos estn muy relacionadas. Por ejemplo, sea p la afirmacin 'la bola es azul', y sea P el conjunto de todos los elementos para los que la proposicin es verdadera, es decir, el conjunto de las bolas azules. P es el

Estudiante: Gutirrez Ludea Camilo Sebastin Docente: Lic. Israel Mamani Q.

Curso: 6 Verde

Colegio Fray Bernardino De Crdenas

Matemtica

Algebra De Boole
conjunto verdad de la proposicin p. De esta manera, si P y Q son los conjuntos verdad de las proposiciones p y q, entonces el conjunto verdad de la proposicin p q es claramente P Q y para p ^ q el conjunto verdad es P Q. El lgebra de Boole tiene muchas aplicaciones prcticas en las ciencias fsicas, especialmente en la informtica y en la electrnica. 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.

Estudiante: Gutirrez Ludea Camilo Sebastin Docente: Lic. Israel Mamani Q.

Curso: 6 Verde