1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Boolean algebra properties

  1. Oct 3, 2006 #1
    For my digital logic class, we are supposed to prove all of the two and three variable properties (commutative, associative, distributive....). I'm not really sure how to go about this, because although he didn't say, it seems intuitive to prove them in order, ie you can't use a property until you've proved it.

    So I'm thinking about using the Single Variable Theorems for the first few (x+x = x , x*x = x , etc)

    So then I started to say, for the commutative property, yx=xy, multiply each side by x to get xyx=xxy, but then, wouldnt I have to use the associatve property to group the x's together to obtain 1?, so that y=y?

  2. jcsd
  3. Oct 3, 2006 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    Well, you have to start at some definition (or list of assumed axioms) before you can prove anything; where is your starting point for + and *?
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Boolean algebra properties
  1. Boolean algebra (Replies: 2)

  2. Boolean algebra - XOR (Replies: 7)