Boolean Algebra Identities: How do they work?

Click For Summary
SUMMARY

This discussion focuses on the application of Boolean algebra identities, specifically addressing the transformations between various expressions. Key identities mentioned include B + B(bar) = 1 and the common identity A + \overline A B = A + B. The participants validate these transformations using Boolean tables and definitions, particularly highlighting the role of XOR in the red line transformation. The discussion emphasizes the importance of understanding these identities for solving complex Boolean expressions.

PREREQUISITES
  • Understanding of Boolean algebra fundamentals
  • Familiarity with Boolean identities and laws
  • Ability to construct and interpret Boolean tables
  • Knowledge of XOR operation and its properties
NEXT STEPS
  • Study the derivation and proof of the identity A + \overline A B = A + B
  • Learn how to construct and analyze Boolean tables for verification
  • Explore the properties and applications of XOR in Boolean algebra
  • Investigate additional Boolean algebra identities and their proofs
USEFUL FOR

This discussion is beneficial for students of computer science, electrical engineering, and anyone involved in digital logic design or Boolean algebra applications.

influx
Messages
162
Reaction score
1
pf.png


C) How did they go from the first red line to the second?
f) How did they go from the first green line to the second
g) B + B(bar) = 1, so surely the answer should have a +1 ?

2) How did they go from the first purple line to the second?

I have a list of the Boolean laws and I have used them in about 10 other questions with no problem but I got stuck on these 4.
 
Physics news on Phys.org
for the green one I was able to verify the step using a boolean table showing that the first green line expression matched the second one.

You could do the same for the others to convince yourself that they are correct.

The red one is probably by definition of XOR

and the blue one is an identity. 0+1=1 or 1+0=1
 
A common identity is ##A + \overline A B = A + B##. It makes sense if you think about it and you can prove it like this: ##A + \overline AB = (A +AB) + \overline AB = A + (A+\overline A)B
=A+B##. If you look at it right, you will see this identity explains the green one.
 

Similar threads

  • · Replies 5 ·
Replies
5
Views
7K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
15
Views
4K
Replies
3
Views
6K
Replies
9
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K