Disyunción opuesta

Disyunción Opuesta $\downarrow$
Diagrama de Venn de $\scriptstyle A\downarrow B$	Diagrama de Venn de $\scriptstyle A\downarrow B\downarrow C$
Nomenclatura
Lenguaje formal	A ni B
Operador booleano
Operador de conjuntos
Puerta Lógica
$\scriptstyle A\downarrow B$
Tabla de la Verdad
${\begin{array}{|c|c||c|}\hline a&b&a\downarrow b\\\hline F&F&V\\V&F&F\\F&V&F\\V&V&F\\\hline \end{array}}$

En razonamiento formal, una disyunción opuesta ( $\downarrow$ ) (también conocida cómo la flecha de Pierce † ó negación conjunta) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son falsas, y es falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta.

En lenguajes formales, la palabra "ni" se utiliza en español para simbolizar una disyunción opuesta.

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

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