En lógica proposicional, la disyunción opuesta, también conocida como inalternador, daga de Sheffer, negación conjunta o flecha de 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. Wikipedia