Solve Boolean Algebra: A \oplus B=C, C \oplus B=A

  • Thread starter Thread starter needhelp83
  • Start date Start date
Click For Summary
SUMMARY

The discussion focuses on solving the Boolean algebra equation A ⊕ B = C, leading to the conclusion that C ⊕ B = A and A ⊕ C = B through substitution. The key steps involve manipulating the expressions using Boolean identities, ultimately confirming that A = A. A critical correction was noted regarding the simplification of terms, specifically in line 6, where the expression A(¬B + B) = A was clarified, demonstrating the identity property of Boolean algebra.

PREREQUISITES
  • Understanding of Boolean algebra concepts, including XOR (⊕) operations.
  • Familiarity with Boolean identities and simplification techniques.
  • Knowledge of substitution methods in algebraic proofs.
  • Ability to manipulate logical expressions and apply identity properties.
NEXT STEPS
  • Study Boolean algebra identities and their applications in digital logic design.
  • Learn about the properties of XOR operations and their implications in circuit design.
  • Explore advanced Boolean simplification techniques, such as Karnaugh maps.
  • Research practical applications of Boolean algebra in programming and algorithm design.
USEFUL FOR

Students of computer science, electrical engineers, and anyone involved in digital logic design or programming who seeks to deepen their understanding of Boolean algebra and its applications.

needhelp83
Messages
193
Reaction score
0
if A \oplus B=C, then C \oplus B=A, and A \oplus C=B (use substitution)

C \oplus B=A

C \overline{B} + \overline{C} B = A

(A \oplus B) \overline{B} + (\overline {A \oplus B}) B = A

(A \overline{B} + \overline {A} B ) \overline {B} + (AB+ \overline{A} \overline{B})B=A

A \overline{B} \overline {B} + \overline {A} B \overline{B} + ABB + \overline{A} \overline{B}B=A

AB + 0 + AB + 0 = A

AB = A

I don't know how to get A = A

Any help?
 
Last edited:
Physics news on Phys.org
needhelp83 said:
if A \oplus B=C, then C \oplus B=A, and A \oplus C=B (use substitution)

C \oplus B=A

C \overline{B} + \overline{C} B = A

(A \oplus B) \overline{B} + (\overline {A \oplus B}) B = A

(A \overline{B} + \overline {A} B ) \overline {B} + (AB+ \overline{A} \overline{B})B=A

A \overline{B} \overline {B} + \overline {A} B \overline{B} + ABB + \overline{A} \overline{B}B=A

AB + 0 + AB + 0 = A

AB = A

Am I doing the steps correctly?
 
Anybody know how to solve
 
needhelp83 said:
if A \oplus B=C, then C \oplus B=A, and A \oplus C=B (use substitution)

C \oplus B=A

C \overline{B} + \overline{C} B = A

(A \oplus B) \overline{B} + (\overline {A \oplus B}) B = A

(A \overline{B} + \overline {A} B ) \overline {B} + (AB+ \overline{A} \overline{B})B=A

A \overline{B} \overline {B} + \overline {A} B \overline{B} + ABB + \overline{A} \overline{B}B=A

AB + 0 + AB + 0 = A

AB = A

I don't know how to get A = A

Any help?

You made a mistake in line 6. You should have:
A\overline{B} + 0 + AB + 0 = A

A(\overline{B} + B) = A

A.1 = A

A = A
 

Similar threads

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