La table de vérité pour l'opérateur NOR (NON-OU) entre deux propositions 
𝑃
P et 
𝑄
Q est définie comme suit :

𝑃
NOR
𝑄
=
¬
(
𝑃
∨
𝑄
)
PNORQ=¬(P∨Q)

Cela signifie que 
𝑃
NOR
𝑄
PNORQ est vrai uniquement lorsque 
𝑃
P et 
𝑄
Q sont tous les deux faux.

Voici la table de vérité complète :

𝑃
P 
𝑄
Q 
𝑃
NOR
𝑄
PNORQ

Vrai Vrai Faux
Vrai Faux Faux
Faux Vrai Faux
Faux Faux Vrai

Réponse :

𝑃
NOR
𝑄
PNORQ est vrai si et seulement si 
𝑃
P est faux et 
𝑄
Q est faux.