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

Disyunción exclusiva

Índice 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.

27 relaciones: Asociatividad (álgebra), Álgebra de Boole, Bicondicional, Bit de paridad, Cifrado (criptografía), Cifrado XOR, Condicional material, Conectiva lógica, Conjunción lógica, Conmutatividad, Criptografía, David Hilbert, Desciframiento, Disyunción lógica, Función booleana, Función de verdad, Involución (matemática), Lógica de primer orden, Lógica proposicional, Leyes de De Morgan, Modus tollendo ponens, Operación (matemática), Operador a nivel de bits, Puerta lógica, RAID, Tabla de verdad, Valor de verdad.

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!!: Disyunción exclusiva y Asociatividad (álgebra) · Ver más »

Á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.

¡Nuevo!!: Disyunción exclusiva y Álgebra de Boole · 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!!: Disyunción exclusiva y Bicondicional · Ver más »

Bit de paridad

Un bit de paridad es un dígito binario que indica si el número de bits con un valor de 1 en un conjunto de bits es par o impar.

¡Nuevo!!: Disyunción exclusiva y Bit de paridad · Ver más »

Cifrado (criptografía)

En criptografía, el cifrado es el proceso de codificación de la información.

¡Nuevo!!: Disyunción exclusiva y Cifrado (criptografía) · Ver más »

Cifrado XOR

En criptografía, el cifrado XOR es, como su nombre indica, un algoritmo de cifrado basado en el operador binario XOR: Donde \oplus es una operación OR exclusiva (XOR).

¡Nuevo!!: Disyunción exclusiva y Cifrado XOR · Ver más »

Condicional material

El condicional material, conocido como condicional, condicional funcional de verdad, o imprecisamente confundido con la implicación material, es un conectiva lógica que conecta dos proposiciones, representado usualmente como A \to B. En lógica proposicional, el condicional material es una función de verdad binaria, que se vuelve falso cuando B es falsa siendo A verdadera, y se vuelve verdadero en cualquier otro caso.

¡Nuevo!!: Disyunción exclusiva y Condicional material · 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!!: Disyunción exclusiva 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!!: Disyunción exclusiva y Conjunción lógica · 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!!: Disyunción exclusiva y Conmutatividad · Ver más »

Criptografía

La criptografía (del griego κρύπτos (kryptós), «secreto», y γραφή (graphé), «grafo» o «escritura», literalmente «escritura secreta») se ha definido, tradicionalmente, como el ámbito de la criptología que se ocupa de las técnicas de cifrado o codificado destinadas a alterar las representaciones lingüísticas de ciertos mensajes con el fin de hacerlos ininteligibles a receptores no autorizados.

¡Nuevo!!: Disyunción exclusiva y Criptografía · Ver más »

David Hilbert

David Hilbert (Königsberg, Prusia Oriental; 23 de enero de 1862-Gotinga, Alemania; 14 de febrero de 1943) fue un matemático alemán, reconocido como uno de los más influyentes del y principios del XX.

¡Nuevo!!: Disyunción exclusiva y David Hilbert · Ver más »

Desciframiento

El desciframiento es un conjunto de técnicas de análisis de códigos que permite conocer e interpretar toda o parte de la información expresada mediante un código desconocido (es decir, un código cuyas reglas de codificación convencionales son desconocidas).

¡Nuevo!!: Disyunción exclusiva y Desciframiento · 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!!: Disyunción exclusiva y Disyunción lógica · 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!!: Disyunción exclusiva y Función booleana · Ver más »

Función de verdad

En lógica matemática, una función de verdad es una función que toma un conjunto de valores de verdad y devuelve un valor de verdad.

¡Nuevo!!: Disyunción exclusiva y Función de verdad · 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!!: Disyunción exclusiva e Involución (matemática) · Ver más »

Lógica de primer orden

Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.

¡Nuevo!!: Disyunción exclusiva y Lógica de primer orden · 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!!: Disyunción exclusiva y Lógica proposicional · 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!!: Disyunción exclusiva y Leyes de De Morgan · Ver más »

Modus tollendo ponens

El modus tollendo ponens (latín: "el modo que, al negar, afirma")1 también conocido como eliminación de la disyunción o eliminación del "o", abreviado ∨E,HurleyCopi y Cohen o silogismo disyuntivo (cabe anotar que para algunos autores son dos reglas diferentes) es, en lógica clásica, una forma de argumento válida que contiene una declaración disyuntiva en una de sus premisas,HurleyCopi y Cohen y en lógica proposicional, una regla de inferencia válida.

¡Nuevo!!: Disyunción exclusiva y Modus tollendo ponens · Ver más »

Operación (matemática)

Una operación matemática es una función sobre una tupla y que obtiene un resultado, aplicando unas reglas preestablecidas sobre la tupla.

¡Nuevo!!: Disyunción exclusiva y Operación (matemática) · 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!!: Disyunción exclusiva y Operador a nivel de bits · 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!!: Disyunción exclusiva y Puerta lógica · Ver más »

RAID

Un grupo/matriz redundante de discos independientes (también, RAID, del inglés redundant array of independent disks) hace referencia a un sistema de almacenamiento de datos que utiliza múltiples unidades (discos duros o SSD), entre las cuales se distribuyen o replican los datos.

¡Nuevo!!: Disyunción exclusiva y RAID · 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!!: Disyunción exclusiva y Tabla de verdad · 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!!: Disyunción exclusiva y Valor de verdad · Ver más »

Redirecciona aquí:

O exclusivo, Operador XOR.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »