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

  • Context: Undergrad 
  • Thread starter Thread starter Valour549
  • Start date Start date
  • Tags Tags
    Algebra Boolean algebra
Click For Summary
SUMMARY

The discussion centers on proving the Boolean algebra identity A.(B+C) = (A.B)+(A.C). Participants highlight that while many resources demonstrate the distributive property of OR over AND, they often rely on the assumption that AND is distributive over OR. The conversation seeks a direct algebraic proof of the identity without resorting to truth tables or Venn diagrams. Key axioms and foundational principles of Boolean algebra are essential for constructing this proof.

PREREQUISITES
  • Understanding of Boolean algebra principles
  • Familiarity with distributive laws in Boolean expressions
  • Knowledge of basic axioms of Boolean algebra
  • Ability to manipulate algebraic expressions
NEXT STEPS
  • Research the axioms of Boolean algebra, including the identity, null, and complement laws
  • Study the distributive laws of Boolean algebra in detail
  • Explore algebraic proofs of Boolean identities without using truth tables
  • Examine examples of Boolean simplification techniques
USEFUL FOR

This discussion is beneficial for students of computer science, mathematicians, and anyone interested in deepening their understanding of Boolean algebra and its applications in logic and digital circuit design.

Valour549
Messages
57
Reaction score
4
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?
 
Physics news on Phys.org
What are the axioms you start with?
 

Similar threads

MHB Prove that the statement is always true using the rules of boolean algebra
  • · Replies 9 ·
Replies
9
Views
2K
Undergrad Implication, Boolean Expression and Venn Diagrams
  • · Replies 12 ·
Replies
12
Views
8K
Undergrad What Are the Axioms of Fuzzy Logic and How Do They Extend Boolean Algebra?
  • · Replies 7 ·
Replies
7
Views
2K
MHB Proving 0<1 with Axioms: A+B=B+A, A.B=B.A, and More!
  • · Replies 2 ·
Replies
2
Views
2K
MHB Proving A∪B=A∩B iff A=B with Boolean Algebra
  • · Replies 1 ·
Replies
1
Views
2K
High School Prove an Identity in Boolean Algebra: Help Needed!
  • · Replies 1 ·
Replies
1
Views
2K
MHB Operations on Sets: Proving A⊆B⊆C & A∪B=B∩C
  • · Replies 2 ·
Replies
2
Views
2K
MHB Proving Boolean Lattice Complementarity in [a,b]
  • · Replies 3 ·
Replies
3
Views
2K
Graduate What are your insights on The Hardest Logic Puzzle Ever?
  • · Replies 2 ·
Replies
2
Views
3K
Undergrad Thinking about equality of infinite sets
  • · Replies 5 ·
Replies
5
Views
2K