ALGEBRA DE BOOLE

INTRODUCCION Llamada tambin Retculas booleanas. En informtica y matemtica, es una estructura algebraica que rigorizan las operaciones lgicas Y, O y NO, as como el conjunto de operaciones unin, interseccin y complemento. Se denomina as en honor a George Boole, (2/09/1815 a 8/12/1864), fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX. El lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad, se aplica en el mbito del diseo electrnico. Claude Shannon fue el primero en aplicarla en el diseo de circuitos de conmutacin elctrica biestables, en 1948.

CALCULO PROPOSICIONAL Y TEORA DE CONJUNTOS El clculo proposicional (CP) y la teora de conjuntos (TC) pertenecen ambos a un sistema de algebraico denominado algebra de boole. Para tener una idea de los nexos que los unen, veremos una breve explicacin de cada uno. I- Conjuntos y elementos (TC) Llevando a cabo un sencillo proceso de abstraccin podemos definir conjunto de dos modos diferentes: -Por extensin: Enumeracin simple de sus elementos. - Por comprensin: Definir una propiedad no ambigua y determinada. un

II- PROPOSICIONES Y CONECTIVAS (CP) Definimos una proposicin como un aserto que puede ser cierto o falso, pero no ambas a la vez. Tales proposiciones pueden ser simples o compuestas. Como es sabido, las oraciones simples se unen mediante conectivas. De ellas, cuatro son importantes:

UNPRG JSS

- Conjuncin - Disyuncin - Condicional - Bicondicional

y o si entonces si y solo si

^ v

Adems de estas conectivas, tambin se usa la negacin: - Negacin no

III- UNIN E INTERSECCIN Aqu comenzamos a ver el modo en que boole unifica el (CP) y la (TC). La unin entre dos conjuntos L y W se define como el conjunto formado por los elementos de L junto con los elementos de W. La interseccin entre dos conjuntos L y W se define como el conjunto que comprende solo a los elementos que L y W tienen en comn.

Tambin se puede expresar con esta simbologa: AB= AUB= {x / xA xB} {x / xA v xB}

CONJUNTO UNIVERSAL, COMPLEMENTARIO

CONJUNTO

VACO

CONJUNTO

Al definir un conjunto L no solo se determinan sus elementos, sino tambin los que no son, definiendo un conjunto L. Pero esto incluira ms conjuntos diferentes.

UNPRG JSS

Con el fin de obtener una restriccin postulamos un conjunto universal E que consideramos como el conjunto de todos los elementos que consideramos. El complementario de un conjunto es el complementario respecto a este conjunto universal. Boole lo identifica tal conjunto con el valor 1. La interseccin de dos conjuntos seria siempre un conjunto. Excepto cuando no tiene elementos en comn, este caso especial se elimina postulando un conjunto vaco, &. Boole lo identifica tal conjunto con el valor 0. Hoy en da expresamos la certeza de un enunciado asignndole un valor 1 y su falsedad con el valor 0.

LEYES DEL ALGEBRA DE CONJUNTOS Y DE CALCULO PROPOSICIONAL

UNPRG JSS

FUNCIONES Y TABLA DE VERIFICACIN Definimos a la funcin como la expresin de unas variables dadas cuyo valor queda unvocamente determinado para valores de las variables. Si consideramos p=1 una proposicin cierta y p=0, falsa. Con esto concluimos que una proposicin simple es una funcin que toma valores de 1 0. Si esto vale para una proposicin simple entonces tambin ser para las proposiciones complejas.

TABLAS DE VERIFICACIN

ALGEBRA DE BOOLE En las diapositivas anteriores hemos visto que las aportaciones de Boole jugaron un papel primordial para alcanzar la unificacin del CP y el TC. Para ello es necesario distinguir operaciones binarias de las operaciones unitarias.

OPERACIONES BINARIAS Y OPERACIONES UNITARIAS Operaciones binarias: Una operacin binaria () en un conjunto A es una operacin tal que si a, b son elementos del conjunto A entonces tambin lo es a b. Operaciones unitarias: Una operacin unitaria (~) en un conjunto A tal que si b es un elemento de A entonces ~ b tambin lo es.

UNPRG JSS

POSTULADOS Y TEOREMAS DEL ALGEBRA DE BOOLE En este caso se ha usado el enunciado por Huntington en 1904: Def.: Una clase de elementos B junto con dos operaciones binarias (+) y () es una algebra booleana si y solo si se verifican los siguientes postulados. P1: Las operaciones (+) y () son conmutativas. P2: Existen en B distintos elementos identidad 0 y 1 relativos a las operaciones (+) y (), respectivamente. P3: Cada operacin es distributiva respecto a la otra. P4: Para cada a de B existe un elemento ade B, tal que: a + a=1 y a a=0

TEOREMAS Teorema 1: Toda proposicin identidad algebraica deducible a los postulados de una algebra booleana sigue valida si todas las operaciones (+) y (), y los elementos identidad 0 y 1 son intercambiados. (Este teorema se conoce como el principio de dualidad). Teorema 2:(CONMUTATIVA): a+b=b+a y ab=ba

Teorema 3:(Pro. ELEMENTOS DOMINANTES): Para todo elemento a en un algebra booleana, se cumple: a +1 =1 y a 0 =0.

Teorema 4:(DE ABSORCION): Para cada par de elementos a, b en una algebra booleana B: a+(ab)=a y a(a+b)=a

Teorema 5:(DISTRIBUTIVA) En toda algebra booleana B cada una de las operaciones binarias (+) y () es asociativa esto es, para toda a, b, c en B: a+(b+c)=(a+b)+c y a(bc)=(ab)c

Teorema 6:(COMPLEMENTO):El elemento a asociado con el elemento a en el algebra booleana es nico.

UNPRG JSS

a +a=1 (a )( a)=0 (a ) =a (INVOLUTIVA)

Teorema 7:(IDEMPOTENCIA): Para toda a en un algebra booleana B: a+a=a aa=a Teorema 8: En toda algebra booleana se cumple: 0 =1 y 1 =0. Teorema 9:(LEYES DE MORGAN):Para toda a y b en una algebra booleana : (ab) =a +b y (a+b) =(a )(b )

definicin : la relacin de de orden a C b se define por la proposicin: para toda a y b en una algebra booleana B, a C b si y solo si ab=0. Teorema 10: Las siguientes 4 propiedades de C son validas en toda algebra booleana para elementos arbitrarios x, y, z: si xCy y yCz, xCz si xCy y xCz, xCyz si xCy xCy+z para toda z. xCy y Cx

BOOLE A LA ELECTRONICA DIGITAL Puertas lgicas: Para que el algebra de boole se torne til a la electrnica debe plantearse como una algebra bivalente. Esta algebra bivalente aplicada a las tablas de verdad del CP expuesta anteriormente cambia de nomenclatura donde decimos disyuncin ahora decimos OR, donde decimos conjuncin decimos AND, donde decimos negacin ahora decimos inversor o NOT

UNPRG JSS

FORMA NORMAL DISYUNTIVA Teorema 1: toda funcin en un algebra booleana que no contiene constante es igual a una funcin en forma normal disyuntiva. Teorema 2: si cada una de n variables el valor 0 y 1 de una manera arbitraria, pero fija, entonces exactamente un trmino de la forma normal disyuntiva completa en n variables tendr el valor 1 y todos los dems trminos tendr el valor 0. Corolario: dos funciones son iguales si y solo si, si sus respectivas formas normales disyuntivas contienen los mismos trminos. Corolario: para establecer cualquier identidad en algebra booleana, es suficiente verificar el valor de cada funcin para todas las combinaciones de o y 1 que pueden asignar a las variables.

FORMA NORMAL CONJUNTIVA Definicin: se dice que una funcin booleana esta forma normal conjuntiva en n variables X1,X2Xn, para n>0, si la funcin es un producto de factores del tipof1(Xn) ++f n (Xn), donde fi(Xi) es Xi o Xi para cada i=1,2n y ninguno par de factores son idnticos , adems, se dice que 0 y 1 estn en forma conjuntiva en n variables para toda n>=0. Teorema1: toda funcin en una algebra booleana que no contiene constante es igual a una funcin en forma normal conjuntiva. Definicin: la forma normal conjuntiva en n variables que contiene 2n factores se llama forma normal conjuntiva completa en n variables. Teorema 2: Si a cada una de n variables se le asigna el valor 0 o 1 de una manera arbitraria, pero fija , entonces exactamente un factor de la forma normal conjuntiva en las n variables tendr el valor 0 y todos los dems factores tendrn el valor1. Corolario: dos funciones, cada una expresada en la forma normal conjuntiva en n variables, son iguales si y solo si contiene idnticos factores Puertas lgicas:

UNPRG JSS

Para que el algebra de boole se torne til a la electrnica debe plantearse como una algebra bivalente. Esta algebra bivalente aplicada a las tablas de verdad del CP expuesta anteriormente cambia de nomenclatura donde decimos disyuncin ahora decimos OR, donde decimos conjuncin decimos AND, donde decimos negacin ahora decimos inversor o NOT. FUNCIONES BOOLEANAS Definicin: Se denomina funcin lgica o booleana a aquella funcin matemtica cuyos smbolos son binarias y estn unidas mediante los operadores del lgebra de Boole suma lgica (+), producto lgico () o negacin ('). Tales funciones consisten en un numero finito de constaste (0,1) y (+) ;() nunca deben de estar adyacentes.

BIBLIOGRAFIA Jane Ihnsa, Ignacio. Universidad de Barcelona. Publicaciones y Ediciones (ed.). lgebras de Boole y lgica, 1989 edicin. Montes Lozano, Antoni. Editorial UOC, S.L. (ed.). lgebras de Boole, 2002 edicin Algebra de boole del silogismo aristotlico a los circuitos integrados, http://serbal.pntic.mec.es/~cmunoz11/boole.pdf Algebra booleana y sus aplicaciones, edicin 97. Introduccin a los circuitos digitales (Algebra de boole); biblioteca UNPRG.

UNPRG JSS