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

Prove A.(B+C) = (A.B)+(A.C) <Boolean Algebra>

  1. Oct 24, 2015 #1
    Most of the results on google happily prove A+(B.C) = (A+B).(A+C), which is that OR is distributive (over AND).

    But as part of their proof, they use the law that AND is distributive (over OR), namely that
    A.(B+C) = (A.B)+(A.C) which I can't seem to find any algebraic proof for.

    So are there any ways to prove this law without using a truth table or venn diagram?
  2. jcsd
  3. Oct 24, 2015 #2
    What are the axioms you start with?
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook