Disyunción opuesta
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 debida a Charles Sanders Peirce), es una conectiva lógica cuyo valor de verdad resulta en verdadero sí 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.
Disyunción opuesta | ||
---|---|---|
![]() Diagrama de Venn de la conectiva | ||
Nomenclatura | ||
Lenguaje natural | ni A ni B | |
Lenguaje formal | ||
Puerta lógica | ||
![]() | ||
Tabla de verdad | ||
Conectivas lógicas |
---|
![]() |
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.