Disyunción opuesta
Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural	ni A ni B
Lenguaje formal	${\displaystyle A\downarrow B}$
Puerta lógica
Tabla de verdad
${\displaystyle {\begin{array}{c|c||c}A&B&A\downarrow B\\\hline V&V&F\\V&F&F\\F&V&F\\F&F&V\\\end{array}}}$
[editar datos en Wikidata]

Conectivas lógicas
Tautología ${\displaystyle \top }$ Conjunción opuesta ${\displaystyle \uparrow }$ Implicación opuesta ${\displaystyle \leftarrow }$ Condicional material ${\displaystyle \rightarrow }$ Disyunción lógica ${\displaystyle \lor }$ Negación lógica ${\displaystyle \lnot }$ Disyunción exclusiva ${\displaystyle \nleftrightarrow }$ Bicondicional ${\displaystyle \leftrightarrow }$ Afirmación lógica Disyunción opuesta ${\displaystyle \downarrow }$ Adjunción lógica ${\displaystyle \nrightarrow }$ Adjunción opuesta ${\displaystyle \nleftarrow }$ Conjunción lógica ${\displaystyle \land }$ Contradicción ${\displaystyle \bot }$
v t e

En lógica proposicional, la disyunción opuesta ^[1]​, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de Peirce (por su simbolización ${\displaystyle \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. Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta.

En lenguajes naturales, la palabra «ni» se utiliza en español para simbolizar la disyunción opuesta. Por ejemplo en la oración «ni llueve ni hace frío».

En electrónica, una puerta NOR es una puerta lógica que implementa la disyunción opuesta.

La definición en electrónica es: que si sus entradas son 0 su salida es 1, pero si alguna de las entradas es 1 su salida es 0.

La operación disyunción opuesta, tiene la propiedad conmutativa, el orden de los factores no altera el producto:

${\displaystyle a\downarrow b\quad =\quad b\downarrow a}$

En ambos casos se obtiene el mismo resultado.

• Álgebra booleana
• Lógica proposicional
• Puerta NOR
• Disyunción lógica
• Operador a nivel de bits

• Lógica de enunciados

• Libros relacionados en formato PDF