Simplification dans une algèbre de Boole

Bonjour,
Comment peut-on justifier que
(a + a*b + c)*(a + !b + !a*!c) = a*b + b*!c + !b*c ? [Voir deux messages plus bas. AD]
Merci.
Je note !a la négation de a
Bien cordialement

Réponses

  • En développant un peu à la barbare, j'ai l'impression que les deux côtés sont différents. Prenons par exemple $c=a=0, b=1$.

    Alors à gauche tu as $0$, et à droite $1$
  • Effectivement il y a une faute de frappe l'égalité est :
    (b + a*b + c)*(a + !b + !a*!c) =(a * b) + (b * ! c) + (! b * c)
  • (b + a*b + c)*(a + !b + !a*!c) = (b + c)*(a + !b + !c) = ab + b!c + ac + c!b = ab + b!c + c!b

    Trop facile.
    La dernière simplification est due à la redondance : xy + !xz + yz = xy + !xz
    Ce site est fatigant. Les gens modifient sans cesse leurs messages passés, et on ne comprend plus rien à la discussion. Je suis nostalgique du temps où, si on postait une bêtise, on devait l'assumer. Et si on cite le passage pour l'ancrer, l'administrateur supprime en disant qu'on n'a pas besoin de recopier le message passé.
Connectez-vous ou Inscrivez-vous pour répondre.