1. Consensus

Ceci est une version simplifiée du Théorème du Consensus (voir l’article sur Wikipedia).

1.1. Table de vérité

Établir la table de vérité de $a+\overline a b$. Que remarque-t-on ?

1.2. Tableau de Karnaugh

Simplifier l’expression $a+\overline a b$ à l’aide d’une méthode graphique.

1.3. Démonstration algébrique

Dans un premier temps, montrer que $a$ est équivalent à $a+ab$.

Ensuite, partir de $a+\overline a b$ pour arriver au même résultat que celui fourni par les deux questions précédentes en utilisant :

• le résultat du premier temps de cette question ;
• une factorisation ;
• une simplification.