Concept
Loi d'absorption
En algèbre, la loi d'absorption est une identité reliant deux lois de composition interne. Deux lois de composition interne et vérifient la loi d'absorption si : Soit un ensemble muni de deux lois de composition interne et . Si ces lois sont commutatives, associatives et vérifient la loi d'absorption, la structure algébrique résultante est un treillis. Dans toute algèbre de Boole (ou plus généralement dans toute algèbre de Heyting), les deux opérations et vérifient la loi d'absorption : en particulier dans l'algèbre de Boole utilisée en logique et en informatique (, et = désignant alors respectivement la disjonction logique, la conjonction logique et l'équivalence logique).
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.