) (también conocida como incompatibilizador, barra de Nicod, trazo de Sheffer 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.
Existen diferentes contextos dónde se utiliza la lógica de conjunción opuesta.
En lenguajes naturales, la palabra "no y" se utiliza en español para simbolizar una conjunción opuesta.
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
, de modo que a cada par ordenado