On appelle proposition ou prédicat une "phrase" qui peut être soit vraie, soit fausse. La logique des prédicats est donc un premier exemple de Tout ou Rien (et est utilisée dans les problèmes de reconnaissance de la parole et d'analyse syntaxique).
exemples :
On peut avoir des propositions dépendant de variables:
ou /,
j'utiliserai / dans ce document car la barre est trop dure à gérer).
On peut alors définir pour chacune de ces opérations leur
table de vérité
qui définit, dans tous les cas, le résultat de l'opération :
 |
 |
 |
On peut également utiliser un tableau à deux entrées pour obtenir un tableau de vérité :
 |
2 colonnes pour les états possibles de Q
2 lignes pour les états possibles de P |
En essayant toutes les combinaisons, on peut définir 16 opérateurs binaires (fonctions de deux variables) :
Certains cas sont de peu d'intérêt : a (toujours faux), p (vrai), ou ne dépendent en fait que d'une variable : d (=P), f (=Q), m (=/P), k (=/Q). Les autres ont toutes un nom :
b: ET,
h: OU inclusif,
o: ON ou NAND,
i: NI ou NOR,
c: P | Q (P inhibe Q),
e: Q | P (Q inhibe P),
n: P => Q (implique),
l: Q => P (implique),
g: OU exclusif
(XOR,
),
j: P <=> Q (équivalent).