Implication
La table de vérité de l'implication est complémentaire de celle de l'inhibition :
\(a\) | \(b\) | \(a + \bar b\) |
|---|---|---|
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 1 |
1 | 1 | 1 |
Remarque :
L'implication par \(a\) existe aussi, ce qui totalise donc 2 combinaisons parmi les 16.
Exemple : Interrupteur et ampoule électrique
Soit \(a\) un interrupteur électrique (ouvert à l'état \(0\)) et \(b\) une ampoule électrique qui lui est reliée (allumée à l'état \(1\)).
La table de vérité liste les états possibles pour le circuit :
interrupteur ouvert, lampe éteinte : état possible
interrupteur ouvert, lampe allumée : état absolument impossible
interrupteur fermé, lampe éteinte : état possible en cas d'ampoule grillée par exemple
interrupteur fermé, lampe allumée : état possible