Simplification dans une algèbre de Boole
Bonjour,
Comment peut-on justifier que
Je note !a la négation de a
Bien cordialement
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 + !xzCe 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.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres