- #1

- 775

- 1

## Main Question or Discussion Point

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

Thoughts?

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

BiP