Disyunción opuesta

Plantilla:Ficha de conectiva lógica {{#invoke:Sidebar|sidebar |class = plainlist |name = Conectivas lógicas |title = Conectivas lógicas |image = |content1 =

• Tautología $\mathrm{\top }$
• Conjunción opuesta $\uparrow$
• Implicación opuesta $\leftarrow$
• Condicional material $\to$
• Disyunción lógica $\vee$
• Negación lógica $\mathrm{\neg }$
• Disyunción exclusiva $\nleftrightarrow$
• Bicondicional $\leftrightarrow$
• Afirmación lógica
• Disyunción opuesta $\downarrow$
• Adjunción lógica $\nrightarrow$
• Adjunción opuesta $\nleftarrow$
• Conjunción lógica $\wedge$
• Contradicción $\mathrm{\perp }$

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

Definición en electrónica

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.

Propiedades

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

$a\downarrow b=b\downarrow a$

En ambos casos se obtiene el mismo resultado.

Véase también

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

Enlaces externos

• Lógica de enunciados

Bibliografía

• Libros relacionados en formato PDF