Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
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).