Une paire d'identités booléennes qui simplifient les conjonctions et disjonctions imbriquées en « absorbant » un opérande dans une expression plus large : A ∨ (A ∧ B) = A et A ∧ (A ∨ B) = A.

Principe

Quand un opérande garantit déjà la vérité (ou la fausseté) d'une expression composée, le combiner avec cette composée via le connecteur approprié renvoie l'opérande garant, permettant de contracter la redondance.

Démonstration

Si A est vraie, alors A ∨ (A ∧ B) est vraie quelle que soit B ; si A est fausse, A ∧ (A ∨ B) est fausse quelle que soit B ; dans les deux cas l'expression imbriquée est équivalente à la forme simple A.

Mauvaise application

Appliquer l'absorption lorsque le sous-expressif répété n'est pas identique syntaxiquement ou sémantiquement (par ex. A ∨ (C ∧ B) avec C ≠ A) ou dans des algèbres où l'absorption ne tient pas conduit à des simplifications incorrectes.

Conséquence

Permet la suppression immédiate de termes redondants, réduit la taille des formules, simplifie les démonstrations logiques et les implémentations de circuits en effondrant une structure inutile.

Inversion

Contextes non absorbants : systèmes algébriques dépourvus de ces identités ou situations où l'absorption supprimerait une multiplicité essentielle ou des distinctions contextuelles (par ex. en logiques probabilistes ou multivaluées où A ∨ (A ∧ B) peut ne pas se réduire à A).

Limite

Valide en algèbre booléenne classique et dans les treillis distributifs idempotents ; ne s'applique pas aux opérateurs généraux, aux expressions où le littéral absorbant diffère, ni aux contextes qui conservent multiplicité, probabilité ou effets de bord.

Tension sémantique

Tension avec distributivité et expansion : l'absorption contracte la structure en supprimant la redondance, tandis que la distribution l'étend ; le choix de la loi influence la complexité et le compromis entre formes normales.

Synthèse

La loi d'absorption capture un schéma local de simplification : quand un littéral subsume une composée d'une manière donnée, la composée se réduit au littéral, produisant des représentations compactes et sans redondance dans les treillis booléens et apparentés.