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