lgebra de Boole

De Wikipedia, la enciclopedia libre. En matemticas y computacin, el lgebra de Boole, o Retculas booleanas, son estructuras algebraicas que "capturan la esencia" de 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, matemtico ingls que fue el primero en definirla como parte de un sistema lgico a mediados del siglo XIX. Especficamente, el lgebra de Boole fue un intento de utilizar las tcnicas algebraicas para tratar expresiones de la lgica proposicional. En la actualidad el lgebra de Boole se aplica de forma generalizada en diseo electrnico. Se aplic por primera vez en circuitos de conmutacin elctrica biestables por Claude Shannon en 1938. Los operadores del lgebra de Boole pueden representarse de varias formas. A menudo se representan simplemente como AND (Y), OR (O) y NOT (NO). En electrnica digital (vase puerta lgica) tambin se emplean la X-OR (O exclusiva) y su negadas NAND (NO Y), NOR (NO O) y X-NOR (equivalencia) . En matemticas a menudo se utiliza + en lugar de OR y en lugar de AND, debido a que estas operaciones son de alguna manera anlogas a la suma y el producto en otras estructuras algebraicas, y NOT se representa como una lnea o una comilla sobre la expresin que se pretende negar (NO A sera o A'). En este artculo se emplear la notacin comn con para el operador AND, para el operador OR y (o ~) para el operador NOT. [editar] Definicin Un lgebra de Boole es una retcula (A, , ) (considerada como una estructura algebrica) con las siguientes cuatro propiedades adicionales: Acotada inferiormente: Existe un elemento 0, tal que a A. Acotada superiormente: Existe un elemento 1, tal que a a A. 0 = a para todo a perteneciente a 1 = a para todo a perteneciente

Distributiva: Para todo a, b, c pertenecientes a A, (a b) c = (a c) (b c). Con complemento: Para cualquier a perteneciente a A existe un elemento a perteneciente a A tal que a a = 1 y a a = 0. De esos axiomas se desprende que el elemento mnimo 0, el elemento mximo 1, y el complemento a de un elemento a estn nicamente determinados. Como cualquier retcula, un lgebra Booleana A, parcialmente ordenado (A, ) definiendo a b si y slo si a = a b (que equivale a b = a b). , ) da lugar a un conjunto

De hecho, puede definirse un lgebra de Boole como una retcula distributiva A, ) (considerada como un conjunto parcialmente ordenado) con elemento mnimo 0, elemento mximo 1, en la que cada elemento x tiene un complemento x tal que x x = 0 and x x = 1 Aqu y se usan para denotar el mnimo (interseccin) y el mximo (unin) de dos elementos. De nuevo, si existe el complemento est nicamente determinado. [editar] Ejemplos El lgebra de Boole ms importante tiene slo dos elementos, 0 y 1, y se define por las reglas 0 1 0 1 ------0|0 1 0|0 0 1|1 1 1|0 1 Tiene aplicaciones en la lgica, donde 0 se interpreta como "falso", 1 como "verdadero", como "y", como "o", y es "no". Las expresiones que involucran variables y operadores booleanos representan proposiciones, y se puede demostrar que dos expresiones son equivalentes usando los axiomas citados anteriormente si y slo si las correspondientes proposiciones son lgicamente equivalentes. El lgebra de Boole de dos elementos tambin se utiliza para diseo de circuitos en ingeniera electrnica; aqu 0 y 1 representan los dos posibles estados en circuitos digitales, tpicamente un voltaje alto y uno bajo. Los circuitos se describen mediante expresiones que contienen variables, y dos de estas expresiones son iguales si y slo si los correspondientes circuitos tienen el mismo comportamiento de entrada y salida. Adems, cada posible conportamiento de entradasalida puede ser expresado mediante una expresin booleana. El lgebra de Boole de dos elementos tambin es importante en la teora general de las lgebras de Boole, porque una ecuacin que implica varias variables es cierta en todas las lgebras booleanas si y slo si es cierta en un lgebra booleana de dos elementos (lo cual siempre puede ser verificado utilizando el algoritmo trivial de fuerza bruta). Esto puede aplicarse para demostrar que las siguientes leyes (Teoremas del consenso) son vlidos en todas las lgebras booleanas: (a (a b) b) (a (a c) c) (b (b c) = (a c) = (a b) b) (a (a c) c)

El conjunto de partes de un conjunto dado S forma un lgebra de Boole con las dos operaciones = unin and = interseccin. El elemento mnimo 0 es el conjunto vaco y el elemento mximo 1 es el propio conjunto S.

El conjunto formado por todos los subconjuntos de S que son finitos o cofinitos es un lgebra de Boole. Para todo nmero natural n, el conjunto de todos sus divisores positivos forma una retcula distributiva si definimos a b como a divide a b. Esta retcula es un lgebra de Boole se y slo si n es libre de cuadrados. El elemento mnimo 0 de este lgebra es el nmero natural 1; el elemento mximo 1 de este lgebra booleana 1 es el nmero natural n. Otros ejemplos de lgebras de Boole surgen de losespacio s topolgicos: si X es un espacio topolgico, entonces la coleccin de todos los subespacios de X que son tanto abiertos como cerrados forman un lgebra booleana con las operaciones = unin y = interseccin. Si R es un anillo y definimos el conjunto de idempotentes centrales como A = { e en R : e = e y ex = xe para todo x en R } entonces el conjunto A se convierte en un lgebra booleana con las operaciones e f ef y e f = ef.

f=e+

La lgica binaria trabaja con variables binarias y operaciones lgicas. As, las variables slo tomarn dos valores discretos: V (verdadero) y F (falso), s y no, 1 y 0 respectivamente. Las operaciones lgicas bsicas son tres: AND: Tambin representada mediante ' ' OR: Tambin representada mediante ' + ' NOT: Tambin representada mediante un apstrofe ', un signo menos delante o una barra encima de la variable. Luego existen otras operaciones compuestas a partir de las primeras: XOR: [exclusive or] Se representa con el signo ' '. XNOR: [Not exclusive or] Se representa con el signo ' '.

Principio de dualidad Todas las expresiones booleanas permanecen vlidas si se intercambian los operadores '+' y '', y los elementos '0' y '1'. As para obtener una expresin algebraica dual, se intercambian los operadores AND y OR y se reemplazan unos por ceros y viceversa. Tablas de verdad de las principales operaciones binarias AND 00=0 01=0 10=0 11=1

Resumiendo, solo da como resultado 1 cuando ambas variables toman el valor 1. (Equivale a la multiplicacin) OR 0+0=0 0+1=1 1+0=1 1+1=1 Resuminedo, el resultado arrojado ser siempre 1 si al menos una de las variables tiene por valor 1. NOT -1=0 -0=1 El not es una inversin del valor como se ve. (Equivale a restar el valor inicial de 1) Siguiendo el lgebra de Boole se pueden combinar estas operaciones empleando varias variables y obteniendo resultados ms complejos. A continuacin una tabla de verdad de una operacin lgica compuesta. Ej: A and (B or C) = A (B + C) A B C Resultado 000 0 001 0 010 0 011 0 100 0 101 1 110 1 111 1 Axiomas Propiedad conmutativa Propiedad distributiva

Otras propiedades

Leyes de Morgan

Operadores XOR y XNOR XOR: XNOR: