Opération logique dans laquelle les opérandes et les résultats ne prennent que deux valeurs, soit vrai ou faux.
On utilise généralement les symboles 0 et 1 à la place de vrai et faux.
Exemple
Soit deux propositions P et Q et la forme propositionnelle (P ∨ Q).
Si P est faux et Q est vrai, alors (P ∨ Q) est vrai.