Absorption (logic)

In logic, absorption is a rule of inference that describes how certain logical expressions can be simplified or transformed. Particularly in propositional logic and Boolean algebra, absorption relates to the way certain expressions can be condensed or reduced. The absorption laws can be formulated as follows: 1. **First Absorption Law:** \[ A \land (A \lor B) \equiv A \] 2.