Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Álgebra de Boole

Índice Álgebra de Boole

En matemáticas, electrónica digital e informática, el álgebra de Boole, también llamada álgebra booleana, es una estructura algebraica que esquematiza operaciones lógicas.

79 relaciones: Absorción (lógica), Adjunción lógica, Adjunción opuesta, Afirmación, Afirmación lógica, Amplificador búfer, Asociatividad (álgebra), Augustus De Morgan, Axioma, Bicondicional, Charles Sanders Peirce, Circuito de conmutación, Circuito en paralelo, Circuito en serie, Claude Shannon, Complemento de un conjunto, Conectiva lógica, Conjunción lógica, Conjunción opuesta, Conjunto parcialmente ordenado, Conjunto potencia, Conjunto vacío, Conmutatividad, Consecuencia lógica, Contradicción, Demostración en matemática, Diagrama de Hasse, Diagrama de Venn, Distributividad, Disyunción exclusiva, Disyunción lógica, Disyunción opuesta, Edward Vermilye Huntington, Electrónica digital, Elemento neutro, Estructura algebraica, Forma lógica, Formas canónicas (álgebra de Boole), Función booleana, George Boole, Henry M. Sheffer, Idempotencia, Implicación opuesta, Informática, Intersección de conjuntos, Involución (matemática), Lógica, Lógica binaria, Lógica proposicional, Lenguaje de programación, ..., Leyes de De Morgan, Matemáticas, Negación lógica, Operación binaria, Operación interna, Operación nularia, Operación unaria, Operador a nivel de bits, Par ordenado, Puerta AND, Puerta lógica, Puerta NAND, Puerta NOR, Puerta NOT, Puerta OR, Puerta XNOR, Puerta XOR, Razonamiento deductivo, Retículo (matemáticas), Retículo distributivo, Sistema digital, Sistema formal, Tabla de verdad, Tautología, Teoría de conjuntos, Teorema, Unión de conjuntos, Valor de verdad, William Rowan Hamilton. Expandir índice (29 más) »

Absorción (lógica)

Absorción es una forma lógica de argumento válido y una regla de inferencia de la lógica proposicional.

¡Nuevo!!: Álgebra de Boole y Absorción (lógica) · Ver más »

Adjunción lógica

En razonamiento formal, la adjunción Lógica o negación de la implicación (\nrightarrow) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es verdadero y la condición b es falsa, y es falso de cualquier otro caso.

¡Nuevo!!: Álgebra de Boole y Adjunción lógica · Ver más »

Adjunción opuesta

En razonamiento formal, la adjunción opuesta o negación de la implicación opuesta (\nleftarrow) entre dos proposiciones, a y b, es un conector lógico cuyo valor de la verdad resulta en verdadero sólo si la condición a es falsa y la condición b es verdadera, y es falso de cualquier otro caso.

¡Nuevo!!: Álgebra de Boole y Adjunción opuesta · Ver más »

Afirmación

El término afirmación se identifica como la proposición de un enunciado que expresa un asentimiento categórico de conformidad con la realidad.

¡Nuevo!!: Álgebra de Boole y Afirmación · Ver más »

Afirmación lógica

En matemáticas, especialmente en lógica, una afirmación lógica es la presentación de una proposición o predicado lógico como su afirmación o su consideración como verdad cierta.

¡Nuevo!!: Álgebra de Boole y Afirmación lógica · Ver más »

Amplificador búfer

Un amplificador búfer (del inglés buffer amplifier), a veces llamado simplemente búfer, es un dispositivo electrónico que sirve para hacer adaptación de impedancias entre circuitos.

¡Nuevo!!: Álgebra de Boole y Amplificador búfer · Ver más »

Asociatividad (álgebra)

La asociatividad es una propiedad en el álgebra y la lógica proposicional que se cumple, si dados tres o más elementos cualquiera de un conjunto determinado, se verifica que existe una operación: \circledcirc, que cumpla la igualdad: Es decir, en una expresión asociativa con dos o más ocurrencias seguidas de un mismo operador asociativo, el orden en que se ejecuten las operaciones no altera el resultado, siempre y cuando se mantenga intacta la secuencia de los operandos.

¡Nuevo!!: Álgebra de Boole y Asociatividad (álgebra) · Ver más »

Augustus De Morgan

Augustus De Morgan (Madurai, India; 27 de junio de 1806 - Londres, 18 de marzo de 1871) fue un matemático y lógico británico nacido en la India.

¡Nuevo!!: Álgebra de Boole y Augustus De Morgan · Ver más »

Axioma

Axioma es una proposición tan clara y evidente que se admite sin demostración.

¡Nuevo!!: Álgebra de Boole y Axioma · Ver más »

Bicondicional

En algunos contextos en matemáticas y lógica, un bicondicional (equivalencia o doble implicación, en ocasiones abreviado en español como si y solo si) es un operador lógico binario, es decir, una función \leftrightarrow: B \times B \rightarrow B, siendo B cualquier conjunto con |B|.

¡Nuevo!!: Álgebra de Boole y Bicondicional · Ver más »

Charles Sanders Peirce

Charles Sanders Peirce (purse en inglés) (Cambridge, Massachusetts, 10 de septiembre de 1839-Milford, Pensilvania, 19 de abril de 1914) fue un filósofo, lógico y científico estadounidense.

¡Nuevo!!: Álgebra de Boole y Charles Sanders Peirce · Ver más »

Circuito de conmutación

*.

¡Nuevo!!: Álgebra de Boole y Circuito de conmutación · Ver más »

Circuito en paralelo

Un circuito paralelo es una conexión de dispositivos (generadores, resistencias, condensadores, bobinas, etc.) en la que los bornes o terminales de entrada de todos los dispositivos conectados coinciden entre sí, al igual que sus terminales de salida.

¡Nuevo!!: Álgebra de Boole y Circuito en paralelo · Ver más »

Circuito en serie

Un circuito en serie es una configuración de conexión en la que los terminales de los dispositivos (generadores, resistencias, condensadores, inductores, interruptores, entre otros) se conectan sucesivamente, es decir, el terminal de salida de un dispositivo se conecta a la terminal de entrada del dispositivo siguiente.

¡Nuevo!!: Álgebra de Boole y Circuito en serie · Ver más »

Claude Shannon

Claude Elwood Shannon (30 de abril de 1916 - 24 de febrero de 2001) fue un matemático, ingeniero eléctrico y criptógrafo estadounidense recordado como «el padre de la teoría de la información».

¡Nuevo!!: Álgebra de Boole y Claude Shannon · Ver más »

Complemento de un conjunto

El complemento de un conjunto o conjunto complementario es otro conjunto que contiene todos los elementos que no están en el conjunto original.

¡Nuevo!!: Álgebra de Boole y Complemento de un conjunto · Ver más »

Conectiva lógica

En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.

¡Nuevo!!: Álgebra de Boole y Conectiva lógica · Ver más »

Conjunción lógica

En razonamiento formal, una conjunción lógica (\land) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto solo si ambas proposiciones son ciertas, y en falso de cualquier otra forma.

¡Nuevo!!: Álgebra de Boole y Conjunción lógica · Ver más »

Conjunción opuesta

En razonamiento formal, una conjunción opuesta (\uparrow) (también conocida como incompatibilizador, barra de Nicod, trazo de Sheffer o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma.

¡Nuevo!!: Álgebra de Boole y Conjunción opuesta · Ver más »

Conjunto parcialmente ordenado

En matemáticas, especialmente en teoría del orden, un conjunto parcialmente ordenado o simplemente conjunto ordenadoSe usa esta expresión cuando no exista ambigüedad.

¡Nuevo!!: Álgebra de Boole y Conjunto parcialmente ordenado · Ver más »

Conjunto potencia

En matemáticas, el conjunto potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos del conjunto dado.

¡Nuevo!!: Álgebra de Boole y Conjunto potencia · Ver más »

Conjunto vacío

Desde principios del, en la matemática, particularmente en la teoría axiomática de Conjuntos de ZF o la teoría intuitiva de conjuntos, el conjunto vacío es el que no posee elemento alguno.

¡Nuevo!!: Álgebra de Boole y Conjunto vacío · Ver más »

Conmutatividad

En matemáticas, la propiedad conmutativa o conmutatividad es una propiedad fundamental que tienen algunas operaciones según la cual el resultado de operar dos elementos no depende del orden en el que se toman.

¡Nuevo!!: Álgebra de Boole y Conmutatividad · Ver más »

Consecuencia lógica

En lógica, la consecuencia lógica es la relación entre las premisas y la conclusión de un argumento deductivamente válido.

¡Nuevo!!: Álgebra de Boole y Consecuencia lógica · Ver más »

Contradicción

En lógica, una contradicción es una incompatibilidad entre dos o más proposiciones.

¡Nuevo!!: Álgebra de Boole y Contradicción · Ver más »

Demostración en matemática

En matemáticas, una demostración o bien una prueba es un argumento deductivo para asegurar la verdad de una proposición matemática.

¡Nuevo!!: Álgebra de Boole y Demostración en matemática · Ver más »

Diagrama de Hasse

En matemáticas, un diagrama de Hasse es una representación gráfica simplificada de un conjunto parcialmente ordenado finito.

¡Nuevo!!: Álgebra de Boole y Diagrama de Hasse · Ver más »

Diagrama de Venn

Los diagramas de Venn son esquemas usados en la teoría de conjuntos, tema de interés en matemáticas, lógica de clases y razonamiento diagramático.

¡Nuevo!!: Álgebra de Boole y Diagrama de Venn · Ver más »

Distributividad

En matemáticas, la distributividad es la propiedad de las operaciones binarias que generaliza la propiedad distributiva del álgebra elemental.

¡Nuevo!!: Álgebra de Boole y Distributividad · Ver más »

Disyunción exclusiva

En lógica proposicional, la disyunción exclusiva (también llamado bidisyuntor lógico, disyuntor excluyente, "or" fuerte, "or" exclusivo, o desigualdad material) es un operador lógico simbolizado como XOR, EOR, EXOR, ⊻, ⊕ o \nleftrightarrow es un tipo de disyunción lógica de dos operandos.

¡Nuevo!!: Álgebra de Boole y Disyunción exclusiva · Ver más »

Disyunción lógica

En razonamiento formal y lógica proposicional, una disyunción lógica (\lor) (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.

¡Nuevo!!: Álgebra de Boole y Disyunción lógica · Ver más »

Disyunción opuesta

En lógica proposicional, la disyunción opuesta, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización \downarrow debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en verdadero si y sólo si ambas proposiciones son falsas, y falso de cualquier otra forma.

¡Nuevo!!: Álgebra de Boole y Disyunción opuesta · Ver más »

Edward Vermilye Huntington

Edward Vermilye Huntington (Clinton, Nueva York, 26 de abril de 1874-Cambridge, Massachusetts, 25 de noviembre de 1952) fue un matemático estadounidense.

¡Nuevo!!: Álgebra de Boole y Edward Vermilye Huntington · Ver más »

Electrónica digital

La electrónica digital es la rama de la electrónica más moderna y que evoluciona más rápidamente.

¡Nuevo!!: Álgebra de Boole y Electrónica digital · Ver más »

Elemento neutro

El elemento neutro o elemento identidad de un conjunto A, dotado de una operación binaria interna \circledast: Es decir, un elemento neutro tiene un efecto neutro al ser utilizado en la operación \circledast.

¡Nuevo!!: Álgebra de Boole y Elemento neutro · Ver más »

Estructura algebraica

En álgebra abstracta, una estructura algebraica, también conocida como sistema algebraico, es una n-tupla (a1, a2,..., an), donde a1 es un conjunto dado no vacío, y un conjunto de operaciones aplicables a los elementos de dicho conjunto.

¡Nuevo!!: Álgebra de Boole y Estructura algebraica · Ver más »

Forma lógica

La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados.

¡Nuevo!!: Álgebra de Boole y Forma lógica · Ver más »

Formas canónicas (álgebra de Boole)

En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables en su forma directa o inversa.

¡Nuevo!!: Álgebra de Boole y Formas canónicas (álgebra de Boole) · Ver más »

Función booleana

En matemáticas, una función booleana es una función cuyo dominio son las palabras conformadas por los valores binarios 0 o 1 ("falso" o "verdadero", respectivamente), y cuyo codominio son ambos valores 0 y 1.

¡Nuevo!!: Álgebra de Boole y Función booleana · Ver más »

George Boole

George Boole (Lincoln, Lincolnshire, Inglaterra, 2 de noviembre de 1815-Ballintemple, Condado de Cork, Irlanda, 8 de diciembre de 1864) fue un matemático y lógico británico.

¡Nuevo!!: Álgebra de Boole y George Boole · Ver más »

Henry M. Sheffer

Henry Maurice Sheffer (1 de septiembre de 1882 (Odessa, Rusia (ahora Ucrania))-17 de marzo de 1964 (Boston, Massachusetts, EE.UU.)) fue un lógico estadounidense.

¡Nuevo!!: Álgebra de Boole y Henry M. Sheffer · Ver más »

Idempotencia

En matemática y lógica, la idempotencia es la propiedad para realizar una acción determinada varias veces y aun así conseguir el mismo resultado que se obtendría si se realizase una sola vez.

¡Nuevo!!: Álgebra de Boole e Idempotencia · Ver más »

Implicación opuesta

En razonamiento formal, la implicación opuesta (\leftarrow), conversa o recíproca, entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso sólo si la implicación es falsa mientras la condición es cierta, y en cierto de cualquier otra forma.

¡Nuevo!!: Álgebra de Boole e Implicación opuesta · Ver más »

Informática

La informática, también llamada computación, es el área de la ciencia que se encarga de estudiar la administración de métodos, técnicas y procesos con el fin de almacenar, procesar y transmitir información y datos en formato digital.

¡Nuevo!!: Álgebra de Boole e Informática · Ver más »

Intersección de conjuntos

En teoría de conjuntos, la intersección de dos (o más) conjuntos es una operación que resulta en otro conjunto que contiene los elementos comunes a los conjuntos partida.

¡Nuevo!!: Álgebra de Boole e Intersección de conjuntos · Ver más »

Involución (matemática)

En matemática, una involución o función involutiva es una función matemática que es su propia inversa: Definida la función: Esta función cumple la propiedad involutiva si: para todo x de A, se cumple que la función de la función de x es x. O, de otra manera.

¡Nuevo!!: Álgebra de Boole e Involución (matemática) · Ver más »

Lógica

La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como la ciencia formal que estudia los principios de la demostración y la inferencia válida, las falacias, las paradojas y la noción de verdad.

¡Nuevo!!: Álgebra de Boole y Lógica · Ver más »

Lógica binaria

La lógica binaria es la que trabaja con variables binarias y operaciones lógicas del Álgebra de Boole.

¡Nuevo!!: Álgebra de Boole y Lógica binaria · Ver más »

Lógica proposicional

La lógica proposicional, también llamada lógica de enunciados, lógica de orden cero o cálculo proposicional, es un sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad.

¡Nuevo!!: Álgebra de Boole y Lógica proposicional · Ver más »

Lenguaje de programación

Un lenguaje de programación es un lenguaje formal (o artificial, es decir, un lenguaje con reglas gramaticales bien definidas) que proporciona a una persona, en este caso el programador, la capacidad y habilidad de escribir (o programar) una serie de instrucciones o secuencias de órdenes en forma de algoritmos con el fin de controlar el comportamiento físico o lógico de un sistema informático, para que de esa manera se puedan obtener diversas clases de datos o ejecutar determinadas tareas.

¡Nuevo!!: Álgebra de Boole y Lenguaje de programación · Ver más »

Leyes de De Morgan

En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas.

¡Nuevo!!: Álgebra de Boole y Leyes de De Morgan · Ver más »

Matemáticas

Las matemáticas, o también la matemática, La palabra «matemáticas» no está en el Diccionario de la Real Academia Española.

¡Nuevo!!: Álgebra de Boole y Matemáticas · Ver más »

Negación lógica

En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos.

¡Nuevo!!: Álgebra de Boole y Negación lógica · Ver más »

Operación binaria

Se define como operación binaria (o ley de composición) aquella operación matemática, que necesita el operador y dos operandos (argumentos) para que se calcule un valor.

¡Nuevo!!: Álgebra de Boole y Operación binaria · Ver más »

Operación interna

Una operación matemática, se dice que es una operación interna, en un conjunto A si para todos los valores de la operación el resultado pertenece a A. En el caso de un conjunto A \, y una operación binaria \circledcirc definida sobre él (A, \circledcirc), tendremos que para dos elementos cualesquiera del conjunto A operados bajo \circledcirc, el resultado siempre pertenece al mismo conjunto A. Es decir: El resultado siempre pertenece al mismo conjunto.

¡Nuevo!!: Álgebra de Boole y Operación interna · Ver más »

Operación nularia

Se define como operación nularia aquella operación matemática en la que el operador no necesita argumento para que se pueda calcular un valor.

¡Nuevo!!: Álgebra de Boole y Operación nularia · Ver más »

Operación unaria

Se define como operación unaria aquella operación matemática que sólo necesita el operador y un único operando (argumento) para que se pueda calcular un valor.

¡Nuevo!!: Álgebra de Boole y Operación unaria · Ver más »

Operador a nivel de bits

Una operación bit a bit o bitwise opera sobre números binarios a nivel de sus bits individuales.

¡Nuevo!!: Álgebra de Boole y Operador a nivel de bits · Ver más »

Par ordenado

En matemáticas, un par ordenado es una pareja de objetos matemáticos, en la que se distingue un elemento y otro.

¡Nuevo!!: Álgebra de Boole y Par ordenado · Ver más »

Puerta AND

La compuerta AND o puerta AND es una puerta lógica digital que implementa la conjunción lógica, se comporta de acuerdo a la tabla de verdad mostrada a la derecha; esta tendrá una salida ALTA (1), únicamente cuando los valores de ambas entradas sean ALTOS.

¡Nuevo!!: Álgebra de Boole y Puerta AND · Ver más »

Puerta lógica

Una puerta lógica o compuerta lógica, es un dispositivo electrónico con una función de tipo booleano u otros tipos (ej. «Trivalente»), como sumar o restar, incluir o excluir según sus propiedades lógicas.

¡Nuevo!!: Álgebra de Boole y Puerta lógica · Ver más »

Puerta NAND

La puerta NAND, compuerta NAND o NOT AND es una puerta lógica que produce una salida falsa solamente si todas sus entradas son verdaderas; por tanto, su salida es complemento a la de la puerta AND, -se comporta de acuerdo a la tabla de verdad mostrada más arriba-.

¡Nuevo!!: Álgebra de Boole y Puerta NAND · Ver más »

Puerta NOR

La puerta NOR o compuerta NOR es una puerta lógica digital que implementa la disyunción lógica negada, se comporta de acuerdo a la tabla de verdad mostrada a la derecha.

¡Nuevo!!: Álgebra de Boole y Puerta NOR · Ver más »

Puerta NOT

En lógica digital, un inversor, puerta NOT o compuerta NOT es una puerta lógica que implementa la negación lógica.

¡Nuevo!!: Álgebra de Boole y Puerta NOT · Ver más »

Puerta OR

La puerta OR o compuerta OR es una puerta lógica digital que implementa la disyunción lógica, se comporta de acuerdo a la tabla de verdad mostrada a la derecha.

¡Nuevo!!: Álgebra de Boole y Puerta OR · Ver más »

Puerta XNOR

La puerta XNOR (a veces escrita "exnor" o "enor" y rara vez escrito NXOR) es una puerta lógica digital cuya función es la inversa de la puerta OR exclusiva (XOR).

¡Nuevo!!: Álgebra de Boole y Puerta XNOR · Ver más »

Puerta XOR

La puerta XOR, compuerta XOR u OR exclusiva es una puerta lógica digital que implementa el O exclusivo; es decir, una salida verdadera (1/HIGH) resulta si una, y solo una de las entradas a la puerta es verdadera.

¡Nuevo!!: Álgebra de Boole y Puerta XOR · Ver más »

Razonamiento deductivo

El razonamiento deductivo o deducción es el proceso de sacar inferencias deductivas.

¡Nuevo!!: Álgebra de Boole y Razonamiento deductivo · Ver más »

Retículo (matemáticas)

En matemáticas, específicamente en álgebra y teoría del orden, un retículo es una estructura algebraica en un conjunto: A \, con una relación binaria: \mathcal que es conjunto parcialmente ordenado y dos operaciones binarias, con la propiedad fundamental de que toda pareja a, b \in A de elementos tiene un único supremo (o extremo superior) en A, \; \sup(a,b) \in A y un único ínfimo (o extremo inferior) en A, \; \inf(a,b) \in A. El término «retículo» viene de la forma de los diagramas de Hasse de tales órdenes.

¡Nuevo!!: Álgebra de Boole y Retículo (matemáticas) · Ver más »

Retículo distributivo

En matemática, un retículo distributivo es un retículo en el cual las operaciones de unión (join) e intersección (meet) se distribuyen la una sobre la otra.

¡Nuevo!!: Álgebra de Boole y Retículo distributivo · Ver más »

Sistema digital

Un sistema digital binario es un conjunto de dispositivos que son destinados a la generación, transmisión, manejo, procesamiento y almacenamiento de señales digitales.

¡Nuevo!!: Álgebra de Boole y Sistema digital · Ver más »

Sistema formal

Un sistema formal o sistema lógico es un sistema abstracto compuesto por un lenguaje formal, axiomas, reglas de inferencia y a veces una semántica formal, que se utiliza para deducir o demostrar teoremas y dar una definición rigurosa del concepto de demostración.

¡Nuevo!!: Álgebra de Boole y Sistema formal · Ver más »

Tabla de verdad

Una tabla de verdad, o tabla de valores de verdades, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de verdad que se pueda asignar.

¡Nuevo!!: Álgebra de Boole y Tabla de verdad · Ver más »

Tautología

En lógica proposicional, una tautología es una fórmula bien formada que resulta verdadera para cualquier interpretación; es decir, para cualquier asignación de valores de verdad que se haga a sus fórmulas atómicas.

¡Nuevo!!: Álgebra de Boole y Tautología · Ver más »

Teoría de conjuntos

La teoría de conjuntos es una rama de laNlab lógica matemática que estudia las propiedades y relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas.

¡Nuevo!!: Álgebra de Boole y Teoría de conjuntos · Ver más »

Teorema

Un teorema es una proposición cuya verdad se demuestra.

¡Nuevo!!: Álgebra de Boole y Teorema · Ver más »

Unión de conjuntos

En la teoría de conjuntos, la unión de dos (o más) conjuntos es una operación que resulta en otro conjunto, cuyos elementos son los mismos de los conjuntos iniciales.

¡Nuevo!!: Álgebra de Boole y Unión de conjuntos · Ver más »

Valor de verdad

En lógica, un valor de verdad es un valor que indica en qué medida una declaración es verdad.

¡Nuevo!!: Álgebra de Boole y Valor de verdad · Ver más »

William Rowan Hamilton

William Rowan Hamilton Dublín, 4 de agosto de 1805-ibídem, 2 de septiembre de 1865) fue un matemático, físico, y astrónomo irlandés, que hizo importantes contribuciones al desarrollo de la óptica, la dinámica, y el álgebra. Su descubrimiento del cuaternión, junto con su sistematización de la dinámica, son sus trabajos más conocidos. Este último trabajo sería decisivo en el desarrollo de la mecánica cuántica, donde un concepto fundamental llamado hamiltoniano lleva su nombre.

¡Nuevo!!: Álgebra de Boole y William Rowan Hamilton · Ver más »

Redirecciona aquí:

Algebra Booleana, Algebra De Boole, Algebra de Boole, Booleana, Logica booleana, Lógica booleana, Valor booleano, Álgebra Booleana, Álgebra De Boole, Álgebra booleana.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »