Switching Algebra proof question

  • Thread starter Thread starter ilikescience
  • Start date Start date
  • Tags Tags
    Algebra Proof
Click For Summary
SUMMARY

The discussion focuses on proving the algebraic equality X Y' + Y Z' + X' Z = X' Y + Y' Z + X Z' using algebraic manipulation. Key techniques employed include involution, DeMorgan's theorem, and distribution. The participants emphasize the sufficiency of basic distribution and identity properties without the need for more complex theorems. The consensus is that a simpler approach exists, relying on fundamental algebraic identities.

PREREQUISITES
  • Understanding of Boolean algebra and switching axioms
  • Familiarity with DeMorgan's theorem
  • Knowledge of involution in algebraic manipulation
  • Proficiency in distribution and identity properties in Boolean expressions
NEXT STEPS
  • Study Boolean algebra identities and their applications
  • Explore the concept of involution in algebraic proofs
  • Learn about the simplification of Boolean expressions using distribution
  • Review DeMorgan's theorem and its implications in algebraic proofs
USEFUL FOR

Students and educators in electrical engineering, mathematicians focusing on algebra, and anyone involved in digital logic design or Boolean algebra 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 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
15
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
3
Views
6K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K