Switching Algebra proof question

  • Thread starter Thread starter ilikescience
  • Start date Start date
  • Tags Tags
    Algebra Proof
AI Thread Summary
The discussion centers on proving the algebraic equality X Y' + Y Z' + X' Z = X' Y + Y' Z + X Z' using algebraic manipulation. The initial attempt involves applying involution and DeMorgan's theorem, leading to a complex expression. However, participants suggest that the proof can be simplified by relying on basic distribution and identities without needing DeMorgan's theorem. The consensus is that a more straightforward approach exists, emphasizing the importance of understanding fundamental algebraic principles. Ultimately, the discussion highlights the need for clarity and efficiency in algebraic proofs.
ilikescience
Messages
1
Reaction score
0

Homework Statement



Prove with algebraic manipulation the following equality: X Y' + Y Z' + X' Z = X' Y + Y' Z + X Z'

Homework Equations



All you need to know to prove it are the switching axioms and theorems listed on the second slide of http://meseec.ce.rit.edu/eecc341-winter2001/341-12-13-2001.pdf" .

The Attempt at a Solution



xy' + yz' + x'z = (xy' + yz' + x'z)' ' involution
= ((x'+y)(y'+z)(x+z'))' DeMorgan
= (xyz + x'y'z')' distribute and use aa' = 0
= (x' + y' + z')(x + y + z) DeMorgan
= (xy' + yz' + x'z) + (x'y + y'z + xz') distribute and use aa' = 0

since we have a = a + b then b = a or b = 0 by idempotency or identities, but I think we can show b ~= 0 if x, y ,or z are not all 0 or 1.

I feel like there might be an easier way. What do you think?
 
Last edited by a moderator:
Physics news on Phys.org
all you need are distribution ,aa=a and a+a'=1

there is no need for DeMorgan or anything else
 

Similar threads

Replies
1
Views
2K
Replies
4
Views
3K
Replies
2
Views
2K
Replies
5
Views
2K
Back
Top