Is absorption an axiom for a boolean algebra?

  • Thread starter Bipolarity
  • Start date
  • #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
 

Answers and Replies

  • #3
775
1
I don't see what you see. Where is this axiom/proven box?

BiP
 
  • #4
34,286
10,325
To the right, with the titles "Huntington 1904 Boolean algebra axioms" and "Proven properties".
 

Related Threads on Is absorption an axiom for a boolean algebra?

  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
7
Views
6K
  • Last Post
Replies
11
Views
3K
  • Last Post
Replies
15
Views
3K
  • Last Post
3
Replies
53
Views
12K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
16
Views
4K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
5
Views
2K
Top