Théorème du consensus
De Wikipedia, l'encyclopédie encyclopedia
Pour les articles homonymes, voir Consensus (homonymie).
En algèbre de Boole, le théorème du consensus ou règle du consensus[1] est une identité booléenne (qui correspond à une équivalence de la logique propositionnelle). C'est une règle de simplification des expressions booléennes, avec d'autres comme la règle d'absorption ou celle d'élimination[2].
Variable d'entrée | Valeur des fonctions | |||
0 | 0 | 0 | 0 | 0 |
0 | 0 | 1 | 1 | 1 |
0 | 1 | 0 | 0 | 0 |
0 | 1 | 1 | 1 | 1 |
1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 |
1 | 1 | 0 | 1 | 1 |
1 | 1 | 1 | 1 | 1 |