lgebra de Boole (O Lgica booleana) Es un clculo lgico de valores de verdad, Desarrollado por George Boole en la dcada de 1840.

Se asemeja a la lgebra de nmeros reales, Pero con las operaciones numricas de la multiplicacin xy, Adems de x+y, Y la negacin -x sustituye por las respectivas operaciones lgicas de conjuntamente x y, disyuncin x y, Y negacin x. Las operaciones booleanas son estos y cualquier otra operacin que puede ser construido a partir de ellas, como x (y z). Estos a su vez a coincidir con el conjunto de todas las operaciones en el conjunto {0,1} que tienen slo un nmero finito de muchos argumentos, hay dos2n este tipo de operaciones cuando no se n argumentos. Las leyes del lgebra de Boole se puede definir axiomticamente como ciertas ecuaciones llamados axiomas, junto con sus consecuencias lgicas teoremas llamados, o semnticamente como las ecuaciones que son verdaderas para cada asignacin posible de 0 o 1 a sus variables. El enfoque axiomtico es sonido y completa en el sentido de que demuestra, respectivamente, ni las leyes ms ni menos que el enfoque semntico. Valores lgebra de Boole es el lgebra de los dos valores. Estos son por lo general toma como 0 y 1, como lo haremos aqu, aunque F y T, falso y verdadero, etc tambin son de uso comn. A los efectos de entender el lgebra de Boole cualquier Boolean de dominio de dos valores es suficiente. Independientemente de la nomenclatura, los valores son habitualmente considerados como esencialmente en el carcter lgico y por lo tanto a que se refiere como valores de verdad, en contraste con los nmeros naturales o los reales que se consideran los valores numricos. Por otra parte el lgebra de los nmeros enteros mdulo 2, mientras que ostensiblemente como numricos como los propios nmeros enteros, se demostr que constituye exactamente el lgebra booleana, originalmente por I.I. Zhegalkin en 1927 y redescubierto de forma independiente en el oeste de Marshall Stone en el ao 1936. As que, de hecho, hay una cierta ambigedad en la verdadera naturaleza del lgebra de Boole: puede ser visto como lgico o numrico de carcter. Ms en general, el lgebra de Boole es el lgebra de los valores de cualquier lgebra de Boole como un modelo de las leyes del lgebra de Boole. Por ejemplo, la vectores de bits de una longitud dada, al igual que decir de 32 bits Palabras equipo, Se puede combinar con operaciones booleanas en la misma forma que los bits individuales, para formar un 232-Elemento lgebra de Boole en esas operaciones. Cualquier combinacin de estos se aplica la misma operacin booleana a todos los bits de forma simultnea. Este pasaje del lgebra de Boole de 0 y 1 de las lgebras de Boole ms general es la contraparte booleano de la aprobacin de la lgebra de la anillo de enteros para el lgebra de anillos conmutativos en general. El lgebra de Boole de dos elementos es el lgebra de Boole prototipo en el mismo sentido que el anillo de enteros es el anillo conmutativo prototpico. la lgica booleana como el tema de este artculo es independiente de la eleccin del lgebra de Boole (las mismas ecuaciones guarida de todo el lgebra de Boole no trivial), por lo que no es necesario aqu para considerar cualquier lgebra de Boole que no sea el de dos elementos. El artculo sobre la lgebra de Boole (estructura) lgebras booleanas se trata. Operaciones Operaciones bsicas Despus de valores, el siguiente ingrediente de cualquier sistema algebraico es sus operaciones. Considerando que el lgebra elemental se basa en operaciones numricas de multiplicacin xy, Adems de x + y, Y la negacin -x, El lgebra de Boole es habitualmente sobre la base de las contrapartes lgicas de las operaciones, a saber, junto x y (Y), Disyuncin x y (O), Y complementan o negacin x (NO). En electrnica, el ADN se representa como una multiplicacin, la OR se representa como una adicin, y el NO se representa con una barra superior: x y y x y, Por lo tanto, se convierten en xy y x + y. Conjuncin es el ms cercano de estos tres a su contraparte numrica, de hecho en 0 y 1 que es multiplicacin. Como una operacin lgica de la conjuncin de dos proposiciones es verdadera cuando ambas proposiciones son verdaderas, y lo contrario es falso. La primera columna de la Figura 1 se tabulan los valores de x y para las cuatro calificaciones posibles para x y y, Como una tabulacin es tradicionalmente llamado tabla de verdad. Disyuncin, en la segunda columna de las cifras, funciona casi como la suma, con una excepcin: la disyuncin de 1 y 1 no es ni 2 ni el 0, pero 1. As pues, la disyuncin de dos proposiciones es falsa cuando ambas proposiciones son falsas, y lo contrario es cierto. Esto es slo la definicin de la relacin con el verdadero y lo falso intercambiadas por todas partes, debido a esto podemos decir que es la disyuncin doble de conjuncin. Negacin lgica sin embargo no funciona como la negacin numrica en absoluto. En su lugar, corresponde al de incremento: x = xUn mod 2. Sin embargo, tiene en comn con la negacin de la propiedad numrica que se aplica dos veces devuelve el valor original: x = x, Al igual que - (-x) = x. Una operacin con esta propiedad se llama involucin. El conjunto {0,1} tiene dos permutaciones, Tanto involutary, a saber, la identidad, no hay movimiento, que corresponde a mod negacin numrico 2 (desde 1 = -1 mod 2), y SWAP, lo que corresponde a la negacin

lgica. Uso de negacin podemos formalizar la idea de que junto a la disyuncin es de doble va las leyes de De Morgan, (x y) = x y y (x y) = x y. Estos tambin pueden interpretarse como las definiciones de conjuncin en trminos de la disyuncin y viceversa: x y = (x y) Y x y = (x y).

Varias representaciones de las operaciones booleanas La figura 2 muestra los smbolos utilizados en electrnica digital de conjuncin y disyuncin, los puertos de entrada estn a la izquierda y el flujo de seales a travs del puerto de salida a la derecha. Inversores negar las seales de entrada en el camino, o las seales de salida en la salida, se representan como crculos en el puerto para ser invertido. Derivados de operaciones Otras operaciones booleanas se pueden derivar de estos por la composicin. Por ejemplo, implicacin x y (IMP), en la tercera columna de las cifras, es una operacin binaria que es falso cuando x es verdadera y y es falso, y verdadero lo contrario. Se puede expresar como x y = x y (El O-puerta de la figura 2 con la x entrada invertida), o equivalente, (x y) (Su De Morgan equivalente en la Figura 3). En la lgica de esta operacin se llama material de implicacin, Para distinguirla de los conceptos relacionados pero no lgica booleana, como vinculacin y relevante implicacin. La idea es que una implicacin x y por defecto es true (el valor de verdad ms dbil en el sentido de que implica el vicio falsa verdad, pero no a la inversa) a menos que su premisa o antecedente x sostiene, en cuyo caso la verdad de la implicacin es que de su conclusin o consecuente y. Aunque la separacin no es la contraparte exacta de la suma numrica, lgebra de Boole, sin embargo tiene una contraparte exacta, llamado o-exclusivo (XOR) o la paridad, x y. Como se muestra en la cuarta columna de las cifras, la exclusiva-o de dos proposiciones es verdadera slo cuando exactamente una de las proposiciones es verdadera; equivalente cuando un nmero impar de las proposiciones es verdadera, de ah el nombre de "paridad". Exclusivo-o el funcionamiento del mod adems de 2. El exclusivo-o de cualquier valor a s misma se desvanece, x x = 0, ya que los argumentos tienen un nmero par de cualquier valor x tiene. Su smbolo de la electrnica digital se muestra en la Figura 2, siendo un hbrido entre el smbolo de separacin y el smbolo de la igualdad. Este ltimo refleja el hecho de que la negacin (que es tambin el doble) de XOR, (x y), Es equivalencia lgica, EQV, ser fiel en el momento en x y y son iguales, ya sea verdadera o falsa, tanto, tanto. XOR y EQV son las operaciones booleanas slo binarios que son conmutativas y cuya verdad mesas tienen tambin muchos 0s y 1s. Exclusiva o junto con otro conjunto constituyen base completa para el lgebra de Boole, con las operaciones booleanas reformulada como la Zhegalkin polinomios. Otro ejemplo es Sheffer accidente cerebrovascular, x|y, La puerta NAND electrnica digital, Lo cual es falso cuando ambos argumentos son ciertos, y true en caso contrario. NAND es definible por la composicin de la negacin con la conjuncin como x |y = (x y). No tiene su propio smbolo esquemtico ya que es fcilmente representado como una puerta con una salida invertida. A diferencia de conjuncin y disyuncin, NAND es una operacin binaria que se puede utilizar para obtener la negacin, a travs de la definicin x = x|x. Con la negacin de una parte puede a su vez definir conjuntamente en trminos de NAND a travs de x y = (x|y), De la cual todas las dems operaciones booleanas de aridad cero a continuacin, se puede obtener. NOR, (x y), Como la doble evidente de NAND sirve

para este propsito igual de bien. Este carcter universal de la NAND y NOR convierte en una opcin popular para los arreglos de compuertas, circuitos integrados con varias puertas de uso general. El antes mencionado dualidad de conjuncin y disyuncin se expone an ms por las leyes de De Morgan, (x y) = x y y (x y) = x y. La Figura 3 muestra las leyes de De Morgan, dando a cada puerta de su doble de De Morgan, convertida de nuevo a la operacin original con los inversores en las entradas y las salidas. En el caso de la implicacin, en forma de una U-puerta con un inversor de disyuncin, que el inversor es cancelado por el segundo inversor que hubiera ido all. El Morgan De doble de XOR es XOR con un inversor en la salida (no hay un smbolo por separado), como con implicacin, poniendo inversores en los tres puertos cancela el doble de la salida del inversor. De manera ms general, el cambio de un nmero impar de inversores en una puerta XOR produce la doble puerta, un nmero an deja la funcionalidad de la puerta sin cambios. Al igual que con todas las dems leyes en esta seccin, las leyes de De Morgan se puede verificar, caso por caso para cada uno de los dosn valoracin posible de la n variables que intervienen en la ley, aqu dos variables y por lo tanto dos2 = 4 calificaciones. las leyes de De Morgan desempear un papel en la puesta trminos booleanos en determinadas formas normales, uno de los cuales nos encontraremos ms adelante en la seccin sobre la solidez y la integridad. Figura 4 ilustra el correspondiente Diagramas de Venn para cada una de las cuatro operaciones presentan en las Figuras 1-3. El interior (respectivamente exterior) de cada crculo representa el verdadero valor (respectivamente falsa) de la entrada correspondiente, x o y. La convencin seguida aqu es representar los resultados verdaderos o 1 como regiones oscuras y falsas como la luz, pero la convencin inversa tambin se usa a veces. Todas las operaciones booleanas Hay un nmero infinito de expresiones que se pueden construir a partir de dos variables con las operaciones anteriores, lo que sugiere gran expresividad. Sin embargo, un argumento simple conteo muestra que slo el 16 operaciones distintas binario en dos valores son posibles. Cualquier operacin binaria dada est determinada por sus valores de salida para cada combinacin posible de valores de entrada. Los dos argumentos 2 2 = 4 las posibles combinaciones de valores entre ellos, y hay 24 = 16 formas de asignar un valor de salida a cada uno de estos cuatro valores de entrada. La eleccin de uno de estos 16 trabajos entonces se determina la operacin, de modo que todos juntos no son slo 16 operaciones binarias distintas. Las 16 operaciones booleanas binarias se pueden organizar de la siguiente manera: Dos operaciones constantes, 0 y 1. Cuatro operaciones depende de una variable, es decir, x, x, yY y, Cuya verdad tablas ascender a dos rectngulos yuxtapuestos, uno con dos 1s y 0s los otros dos. Dos operaciones con una tabla de verdad "tablero de ajedrez", es decir, XOR y EQV. Cuatro operaciones se obtienen de la disyuncin con un subconjunto de sus entradas negadas, es decir, x y, x y, y x, Y x|y, Sus tablas de verdad contienen un solo 0. Los ltimos cuatro provienen de el mismo tratamiento aplicado a la conjuncin, que tiene un solo 1 en las tablas de su verdad. 10 de las 16 operaciones dependen de ambas variables, todos son representarse esquemticamente como la Y-puerta, una puerta O-, o una puerta XOR, con un puerto opcionalmente invertida. Para las puertas AND y OR la ubicacin de cada uno de los asuntos del inversor, por la puerta XOR no lo hace, slo si hay un nmero par o impar de inversores. Operaciones de otros arities son posibles. Por ejemplo, la contraparte ternario de la disyuncin se puede obtener como (x y) z. En general, una n-Ary operacin, una de ellas n insumos, tiene 2n valoraciones posibles de los insumos. Una operacin tiene dos posibilidades para cada uno de estos, donde existen 22n n-Las operaciones booleanas aria. Por ejemplo, hay 232 = 4294967296 operaciones con 5 entradas. Aunque el lgebra de Boole se limita a las operaciones de la atencin que el regreso de un solo bit, el concepto se generaliza a las operaciones que se n bits y el retorno x bits en lugar de un bit. los diseadores de circuitos digitales dibujar operaciones tales como cajas de forma adecuada con n cables de entrada a la izquierda y m los cables que salen a la derecha. Estas operaciones multi-salida puede ser entendida simplemente como m n-Operaciones aria. La cuenta de la operacin a continuacin, debe ser elevado a la m-sima potencia, o, en el caso de n insumos, (22n)m = 2m2n las operaciones. El nmero de operaciones booleanas de este tipo generalizado con, por ejemplo 5 entradas y 5 salidas es 1,46 1048. Una puerta lgica o la asignacin de equipo mdulo de 32 bits a 32 bits podra poner en prctica cualquiera de 5.47 1041,373,247,567 operaciones, que ms se obtiene elevando al cuadrado un googol 28 veces.