Absorption is the pair of equivalences in which a formula absorbs a compound of itself and another formula:
In the conjunct can never make the disjunction true when is false, and adds nothing when is true; the whole expression always equals . The second law is its dual, obtained by swapping and .