logique

Exercice corrigé : Simplification de formules Booléennes

A travers cet exercice, nous allons vous montrer comment simplifier une expression logique booléenne algébriquement, autrement dit sans avoir recours à un tableau de Karnaugh ou à la méthode de Quine. Pour pouvoir simplifier ces formules, vous devez avoir en tête un ensemble de propriétés sur les opérateurs logiques en plus du théorème de Morgan (que vous pouvez trouver facilement sur la page wikipedia de l'algèbre de bool).

Exercices :

Simplifiez au maximum ces formules logiques algébriquement :

Formule 1

$ABC+\overline{A}+\overline{C}$

Formule 2

$\overline{A}B+C\overline{A}D+\overline{B}+\overline{D}$

Formule 3

$\overline{\overline{A+D}.\overline{\overline{C}+\overline{B}}+C}$

Formule 4

$(A+\overline{AB}+C\overline{AB})(A+B\overline{A}+\overline{B})$

Formule 5

$A\overline{C} + AB\overline{C}+B\overline{C}+\overline{A}B$

Indices :

Formule 1

Il faut utiliser 2 fois la propriété : $\overline{A}+AB = \overline{A}+B$.

Formule 2

Il faut utiliser 2 fois la propriété $\overline{A}+AB = \overline{A}+B$.

Une fois $A + AB = A(1+B) = A$.

Formule 3

Ce développement a pour but de vous faire réviser le théorème de Morgan. Appliquez le en boucle. A un moment, vous devriez vous en sortir.

Formule 4

Un triple développement n’est pas nécessaire !

Formule 5

Vous avez quelque chose de trop ? Utilisez la propriété $A+\overline{A}=1$.

Correction :

Formule 1

  1. $ABC+\overline{A}+\overline{C}$
  2. $BC+\overline{A}+\overline{C}$
  3. $\overline{A}+B+\overline{C}$

Formule 2

  1. $\overline{A}B+C\overline{A}D+\overline{B}+\overline{D}$
  2. $\overline{A}+C\overline{A}D + \overline{B} + \overline{D}$
  3. $\overline{A}+\overline{B}+\overline{D}$

Formule 3

  1. $\overline{\overline{A+D}.\overline{\overline{C}+\overline{B}}+C}$
  2. $\overline{\overline{A}.\overline{D}.C.B+C}$
  3. $\overline{(\overline{A}.\overline{D}.B+1).C}$
  4. $\overline{C}$

Formule 4

  1. $(A+\overline{AB}+C\overline{AB})(A+B\overline{A}+\overline{B})$
  2. $(A+\overline{AB})(A+B+\overline{B})$
  3. $(A+\overline{A}+\overline{B})(1)$
  4. $(1)(1)$
  5. $1$

Formule 5

  1. $A\overline{C} + AB\overline{C}+B\overline{C}+\overline{A}B$
  2. $A\overline{C} + B\overline{C}+\overline{A}B$
  3. $A\overline{C} + (A+\overline{A})B\overline{C}+\overline{A}B$
  4. $A\overline{C} + AB\overline{C}+\overline{A}B\overline{C}+\overline{A}B$
  5. $A\overline{C}+\overline{A}B$