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

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

Discussion Overview

The discussion revolves around solving a Boolean algebra problem involving the equations A ⊕ B = C and C ⊕ B = A. Participants explore various algebraic manipulations and substitutions to derive relationships among the variables.

Discussion Character

  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • Some participants assert that if A ⊕ B = C, then it follows that C ⊕ B = A and A ⊕ C = B, using substitution.
  • One participant presents a series of algebraic steps leading to the conclusion AB = A, expressing uncertainty about how to derive A = A from this.
  • Another participant questions whether the steps taken in the algebraic manipulation are correct.
  • A later reply identifies a mistake in the algebraic steps, suggesting that the expression should be A(¬B + B) = A, leading to A = A.

Areas of Agreement / Disagreement

Participants express uncertainty regarding the correctness of the algebraic manipulations, with some asserting their validity while others challenge specific steps. The discussion remains unresolved as to the correctness of the initial steps presented.

Contextual Notes

There are limitations in the clarity of the algebraic steps, and some assumptions about the properties of Boolean algebra may not be explicitly stated.

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

[tex]C \oplus B=A[/tex]

[tex]C \overline{B} + \overline{C} B = A[/tex]

[tex](A \oplus B) \overline{B} + (\overline {A \oplus B}) B = A[/tex]

[tex](A \overline{B} + \overline {A} B ) \overline {B} + (AB+ \overline{A} \overline{B})B=A[/tex]

[tex]A \overline{B} \overline {B} + \overline {A} B \overline{B} + ABB + \overline{A} \overline{B}B=A[/tex]

[tex]AB + 0 + AB + 0 = A[/tex]

AB = A

I don't know how to get A = A

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

[tex]C \oplus B=A[/tex]

[tex]C \overline{B} + \overline{C} B = A[/tex]

[tex](A \oplus B) \overline{B} + (\overline {A \oplus B}) B = A[/tex]

[tex](A \overline{B} + \overline {A} B ) \overline {B} + (AB+ \overline{A} \overline{B})B=A[/tex]

[tex]A \overline{B} \overline {B} + \overline {A} B \overline{B} + ABB + \overline{A} \overline{B}B=A[/tex]

[tex]AB + 0 + AB + 0 = A[/tex]

AB = A

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

[tex]C \oplus B=A[/tex]

[tex]C \overline{B} + \overline{C} B = A[/tex]

[tex](A \oplus B) \overline{B} + (\overline {A \oplus B}) B = A[/tex]

[tex](A \overline{B} + \overline {A} B ) \overline {B} + (AB+ \overline{A} \overline{B})B=A[/tex]

[tex]A \overline{B} \overline {B} + \overline {A} B \overline{B} + ABB + \overline{A} \overline{B}B=A[/tex]

[tex]AB + 0 + AB + 0 = A[/tex]

AB = A

I don't know how to get A = A

Any help?

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

[tex]A(\overline{B} + B) = A[/tex]

[tex]A.1 = A[/tex]

[tex]A = A[/tex]
 

Similar threads

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