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

    micromass

    User Avatar
    Staff Emeritus
    Science Advisor
    Education Advisor
    2016 Award

    What are the axioms you start with?
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook