Loading AI tools
Loi en logique formelle et en mathématique qui porte sur l'identité de deux opérations binaires De Wikipédia, l'encyclopédie libre
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).
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.