Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Is absorption an axiom for a boolean algebra?

  1. Oct 9, 2013 #1
    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. jcsd
  3. Oct 9, 2013 #2

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

  4. Oct 9, 2013 #3
    I don't see what you see. Where is this axiom/proven box?

    BiP
     
  5. Oct 9, 2013 #4

    mfb

    User Avatar
    2016 Award

    Staff: Mentor

    To the right, with the titles "Huntington 1904 Boolean algebra axioms" and "Proven properties".
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Is absorption an axiom for a boolean algebra?
  1. Dedekind's Axiom (Replies: 53)

  2. Boolean algebra (Replies: 1)

  3. Boolean Algebra (Replies: 3)

Loading...