Diferencia entre revisiones de «Disyunción exclusiva»
Contenido eliminado Contenido añadido
Sin resumen de edición |
m Revertidos los cambios de 186.66.77.132 (disc.) a la última edición de Aosbot Etiqueta: Reversión |
||
Línea 1:
{{Ficha de conectiva lógica
|diagrama-de-venn = Diagrama de Venn 09.svg
|lenguaje-formal = <math>A \nleftrightarrow B</math>
|lenguaje-natural = A o B pero no ambos
|operador-booleano = <math>\oplus</math>
|puerta-lógica = [[Archivo:XOR ANSI.svg]]
|tabla-de-verdad = <math>
\begin{array}{c|c||c}
A & B & A \nleftrightarrow B \\
\hline
V & V & F \\
V & F & V \\
Línea 8 ⟶ 17:
}}
{{Conectivas lógicas}}
La '''disyunción exclusiva''' (también llamada '''"o" exclusivo''', o '''desigualdad material''' en [[lógica proposicional]]) es un [[operador lógico]] <nowiki/>simbolizado como '''XOR''', '''EOR''', '''EXOR''', '''⊻''' , '''⊕''' o <math> \nleftrightarrow </math> es un tipo de [[disyunción lógica]] de dos operandos.
== Definición ==
Línea 88 ⟶ 97:
<math> A \wedge (B \nleftrightarrow C) = (A \wedge B) \nleftrightarrow (A \wedge C) </math>
== Véase también ==
* [[Álgebra booleana]]
* [[Puerta lógica]]
* [[Disyunción lógica]]
* [[Conjunción lógica]]
* [[Operador a nivel de bits]]
* [[Función booleana]]
* [[Lógica proposicional]]
* [[Modus tollendo ponens]]
* [[Lógica de primer orden]]
* [[Valor de verdad]]
* [[Operación matemática]]
* [[Involución (matemática)]]
* [[Bit de paridad]]
* [[Cifrado XOR]]
== Referencias ==
| |||