rss

Logique combinatoire - Lois de composition


Les lois de composition

Les lois de composition sont des règles logiques qui permettent de simplifier l'écriture des expressions algébriques.

Associativité

  • (A.B).C est équivalent à A.(B.C)
  • (A+B)+C est équivalent à A+(B+C)

Absorption

  • A.(A+B) est équivalent à A
  • A+A.B est équivalent à A

Commutativité

  • A.B est équivalent à B.A
  • A+B est équivalent à B+A

Distributivité

  • A+(B.C) est équivalent à (A+B).(A+C)
  • A.(B+C) est équivalent à A.B+A.C

Idempotence

  • A.A est équivalent à A
  • A + A est équivalent à A

Identité

  • 1.A est équivalent à A
  • 0+A est équivalent à A

Inversion

  • A./A est équivalent à 0
  • A+/A est équivalent à 1

Nullité

  • 0.A est équivalent à 0
  • 1+A est équivalent à 1

Théorème de De Morgan

  • est équivalent à
  • est équivalent à

Remarque d'un visiteur

A titre informatif, il est possible de prouver la loi d'absorption avec les autres lois : 


A.(A+B)
= A.A + A.B
= A + A.B
= A.1 + A.B
= A.(1+B)
= A
Sur la deuxième ligne, la deuxième loi d'absorption apparaît.

Exemple de simplification d'expression

Soit la simplification suivante :


Ce document intitulé « Logique combinatoire - Lois de composition » issu de Comment Ça Marche (www.commentcamarche.net) est mis à disposition sous les termes de la licence Creative Commons. Vous pouvez copier, modifier des copies de cette page, dans les conditions fixées par la licence, tant que cette note apparaît clairement.
 

Logiciels pertinents trouvés dans les téléchargements
Télécharger GIMP 2.4.7GIMP - GIMP (GNU Image Manipulation Program) est un logiciel de traitement d'image permettant de faire de la retouche photo comme...Catégorie: Graphisme
Licence: Open Source
Télécharger PC Inspector File Recovery 4.0PC Inspector File Recovery - Tout comme SoftPerfect File Recovery ou HandyRecovery , ce logiciel est capable de récupérer des fichiers effacés, mais...Catégorie: Sauvegarde
Licence: Freeware/gratuit
Télécharger AdBlock Plus 0.7.5.5AdBlock Plus - AdBlock Plus est l'une des extensions classiques de Firefox ,celui-ci bloque déjà en standard les fenêtre popup: AdBlock va...Catégorie: Extensions Firefox
Licence: Open Source
Télécharger DR220 1DR220 - DR220 ou Docteur Rythme est une boîte à rythme. Il possède 16 canaux stéréo et peut jouer jusqu’à 24 battements par...Catégorie: Création musicale
Licence: Freeware/gratuit
Plus de logiciels gratuits sur « loi de composition »