Conjunción opuesta

negación de la conjunción lógica

En razonamiento formal, una conjunción opuesta ( ) (también conocida como incompatibilizador, barra de Nicod o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra forma. La conjunción opuesta es la negación de la conjunción lógica. Existen diferentes contextos dónde se utiliza la lógica de conjunción opuesta.

Conjunción opuesta
Diagrama de Venn 17.svg
Diagrama de Venn de la conectiva
Nomenclatura
Lenguaje natural No A y B
Lenguaje formal
Operador booleano
Operador de conjuntos
Puerta lógica
NAND ANSI Labelled.svg
Tabla de verdad

En lenguajes naturales, la palabra "no y" se utiliza en español para simbolizar una conjunción opuesta.

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

SímboloEditar

La conjunción opuesta es una operación binaria entre proposiciones o valores binarios, que puedan ser verdaderos o falsos, expresada así

 

Siendo una aplicación matemática definida de   sobre  , de modo que a cada par ordenado   de   se le asocia un único   de  , expresado  .

 

Operación con bitsEditar

Véase tambiénEditar

Enlaces externosEditar

BibliografíaEditar

  • Nachbin, Leopoldo (1986). Álgebra elemental. Rochester, Nueva York: Eva V. Chesnau. Edición de la OEA, traducida al español por César E. Silva.
  • Libros relacionados en formato PDF