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

Homework Help: 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 *?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook