Absorption law

In mathematics, and in particular in abstract algebra, the absorption laws possibly look something like this:

• A + A·B = A
• A·(A + B) = A
• A + (¬A)·B = A + B
• A·(¬A + B) = A·B