Non-disgiunzione inclusiva

La negazione NOR (o negazione congiunta) è un operatore vero-funzionale che rappresenta la negazione di un OR logico. In altre parole, una proposizione della forma ${\displaystyle p\ NOR\ q}$ è vera quando né p né q sono vere, cioè quando sia p sia q sono false. Ciò è logicamente equivalente ad affermare che ${\displaystyle p\ NOR\ q}$ = ${\displaystyle \neg (p\lor q)}$ = ${\displaystyle \neg p\land \neg q}$, dove il simbolo ${\displaystyle \neg }$ indica la negazione logica (NOT), ${\displaystyle \lor }$ indica la disgiunzione logica (OR) e ${\displaystyle \land }$ la congiunzione logica (AND). Nella grammatica, "né...né" sono una coppia di congiunzioni che ben rappresentano, nel linguaggio, la negazione NOR.

L'operazione NOR è anche nota come freccia di Peirce. Nei suoi manoscritti inediti, Peirce la considerò inizialmente come un'operazione logica e dimostrò che può esprimere NOT, AND e OR logici. Edward Stamm^[1], Henry Sheffer^[2] e Jean Nicod^[3] furono i primi a discuterne all'interno di un'edizione a stampa. Quine introdusse il simbolo ${\displaystyle \downarrow }$.^[4] Altri modi di indicare l'operatore NOR sono: l'ampheck ^{[N 1]} usato da Peirce, e né-né. Altri modi di denotare ${\displaystyle P\downarrow Q}$ includono P NOR Q e, nella notazione di Bocheński, "Xpq".

L'Apollo Guidance Computer fu interamente costruito con porte NOR a tre ingressi.^[5]