# Is absorption an axiom for a boolean algebra?

1. Oct 9, 2013

### Bipolarity

According to wikipedia, absorption is an axiom for a boolean algebra. This seems incorrect to me, since I believe absorption can be proved from the other axioms (distributivity, associativity, commutativity, complement, identity).

Thoughts?

$AB' + A = AB' + A*1 = A(B'+1) = A(1) = A$

BiP

2. Oct 9, 2013

3. Oct 9, 2013

### Bipolarity

I don't see what you see. Where is this axiom/proven box?

BiP

4. Oct 9, 2013

### Staff: Mentor

To the right, with the titles "Huntington 1904 Boolean algebra axioms" and "Proven properties".

Share this great discussion with others via Reddit, Google+, Twitter, or Facebook