Annuler
connectez vous
logique en post-bac
- Description de mathématique formelle-termes et relations
- Théorèmes
- Théories logiques
- Équations différentielles : un Cours complet avec des exemples
- Ensemble et application Partie II
- Ensemble et application Partie I
- Espaces vectoriels et Applications linéaires - supérieur
- Généralités sur les matrices, applications linéaires, changement de base, rang d'une matrice - supérieur
Inscription / Connexion Nouveau Sujet
Accueil l'île des mathématiques Forum de mathématiquesListe de tous les forums de mathématiques SupérieurOn parle exclusivement de maths, pour le supérieur principalement, les BTS, IUT, prépas... École ingénieur LogiqueTopics traitant de logique [tout]Lister tous les topics de mathématiques
Niveau école ingénieur
Algebre de Boole - Identités remarquables
Posté par Blau
Bonjour,
Voilà, en algèbre de Boole j'ai vu que l'on avait l'identité remarquable suivante : A+ÃB = A+B (le ~ signifie barre, car je sais pas comment l'écrire sur mon ordinateur)
Le problème c'est que je voudrais la redémontrer via l'algèbre de Boole mais je ne vois pas comment...
Merci!
bonjour
je vais plutôt noter A' le "A barre"
distributivité du "+" sur le "."
A + A'.B = (A + A').(A + B) = 1.(A + B) = A + B
MM
Ok merci beacoup mais j'ai encore une autre petite question.
Pourquoi a-t-on l'identité remarquable suivante:
(A+B).(Ã+C) = A.C + Ã.B
Quand je développe j'ai le terme B.C en trop...
le terme B.C est "contenu" dans le terme A.C+A'.B
une façon de le voir est de le scinder et d'utiliser l'absorption...
A.C + A'.B + B.C = A.C + A'.B + (A + A').B.C = ... = A.(C + B.C) + A'.(B + B.C) = A.C + A'.B
MM