Prove an Identity in Boolean Algebra: Help Needed!

  • Context: High School 
  • Thread starter Thread starter jksdvb8
  • Start date Start date
  • Tags Tags
    Algebra Boolean algebra
Click For Summary
SUMMARY

The forum discussion centers on proving the Boolean algebra identity (A + C)(¬A + B) = AB + ¬A·C. The user initially expanded the left-hand side (LHS) and encountered an extra term B·C. A participant suggested using the distribution rule and hinted at multiplying by (A + ¬A) or (C + ¬C) to simplify the proof. This approach is essential for resolving the identity correctly.

PREREQUISITES
  • Understanding of Boolean algebra concepts
  • Familiarity with distribution and simplification rules in Boolean expressions
  • Knowledge of identity laws in Boolean algebra
  • Ability to manipulate logical expressions
NEXT STEPS
  • Study the distribution rule in Boolean algebra
  • Learn about identity laws, specifically A + ¬A = 1
  • Explore techniques for simplifying Boolean expressions
  • Practice proving other Boolean identities for deeper understanding
USEFUL FOR

This discussion is beneficial for students of computer science, electrical engineering, and anyone studying digital logic design who seeks to strengthen their understanding of Boolean algebra and identity proofs.

jksdvb8
Messages
1
Reaction score
0
May seem easy, I can't do it though...

I'm given an identity to prove:-

(A + C).(notA + B) = A.B + notA.C

I've started with LHS, multiplied out and ended up with an extra B.C. I think this has something to do with the distribution rule but I don't know how to work it through

Any help greatly appreciated

JK
 
Physics news on Phys.org
welcome to pf!

hi jksdvb8! welcome to pf! :smile:
jksdvb8 said:
I've started with LHS, multiplied out and ended up with an extra B.C.

so you need to prove that B.C is contained in A.B + notA.C

hint: multiply something by either (A + notA) or (C + notC) :wink:
 

Similar threads

Undergrad Prove A.(B+C) = (A.B)+(A.C) <Boolean Algebra>
  • · Replies 1 ·
Replies
1
Views
3K
High School Traditional logic and its usefulness in the past
  • · Replies 21 ·
Replies
21
Views
3K
Graduate What are your insights on The Hardest Logic Puzzle Ever?
  • · Replies 2 ·
Replies
2
Views
3K
MHB Proving Boolean Lattice Complementarity in [a,b]
  • · Replies 3 ·
Replies
3
Views
2K
High School Probability of arranging identical objects
  • · Replies 3 ·
Replies
3
Views
2K
Boolean Algebra Proof (Distribution and XOR)
  • · Replies 5 ·
Replies
5
Views
7K
Prove the identity matrix is unique
  • · Replies 69 ·
3
Replies
69
Views
11K
High School Baccarat math and beating the edge
  • · Replies 3 ·
Replies
3
Views
4K
Simplifying Boolean Expressions using the Laws of Boolean Algebra
  • · Replies 15 ·
Replies
15
Views
30K
Undergrad Proving inequality about dimension of quotient vector spaces
  • · Replies 25 ·
Replies
25
Views
4K