Nom	Box	Symbole	Équivalent linguistique	Expression	Table de vérité
Contradiction		⟂	Toujours faux	0	0000
NON-ET (NAND)		⊼	Non (P ∧ Q)	¬(P ∧ Q)	1110
P ∧ ¬Q		—	P et non Q	P ∧ ¬Q	0010
P		P	Identité P	P	0101
¬P ∧ Q		—	Non P et Q	¬P ∧ Q	0100
Q		Q	Identité Q	Q	0110
XOR (Disjonction exclusive)		⊕	Soit P soit Q (mais pas les deux)	P ⊕ Q	0110
OR (Disjonction)		∨	Au moins un est vrai	P ∨ Q	0111
NOR		⊽	Ni P ni Q	¬(P ∨ Q)	1000
Équivalence (XNOR)		≡	P et Q ont la même valeur	¬(P ⊕ Q)	1001
¬Q		¬Q	Négation de Q	¬Q	1010
P ⇒ Q (Implication)		→	Si P alors Q	¬P ∨ Q	1101
¬P		¬P	Négation de P	¬P	1100
Q ⇒ P		←	Si Q alors P	¬Q ∨ P	1011
AND (Conjonction)		∧	P et Q	P ∧ Q	0001
Tautologie		⊤	Toujours vrai	1	1111