Boolean algebra prrof question

AI Thread Summary
The discussion revolves around proving the Boolean algebra expression X'Y' + Y'Z + XZ + XY + Z'Y = X'Y' + XZ + YZ'. Participants highlight the challenge of simplifying the left side by showing that the extra terms XY and Y'Z can be subsumed by other terms. A suggestion is made to break down Y'Z into Y'ZX + Y'ZX' to find subsuming terms. Ultimately, the original poster expresses satisfaction upon finding a solution. The conversation emphasizes the application of Boolean algebra laws to simplify expressions effectively.
hallerman
Messages
10
Reaction score
0

Homework Statement



Prove the following expression using Boolean algebra:

1. X'Y' + Y'Z + XZ + XY + Z'Y = X'Y' + XZ + YZ'

Homework Equations



Laws of Boolean algebra

The Attempt at a Solution



I tried to take Y common but failed. I did the same with X and Z, but the method did not work. Any hints, please?
 
Physics news on Phys.org
The two sides are the same except for two extra terms on the left, XY and Y'Z. So you need to show that those two are subsumed by the others. E.g. For Y'Z, you can break it up as Y'ZX+Y'ZX'. Can you find other terms on the left which subsume those?
 
  • Like
Likes 1 person
Thanks, I got it.
 
I tried to combine those 2 formulas but it didn't work. I tried using another case where there are 2 red balls and 2 blue balls only so when combining the formula I got ##\frac{(4-1)!}{2!2!}=\frac{3}{2}## which does not make sense. Is there any formula to calculate cyclic permutation of identical objects or I have to do it by listing all the possibilities? Thanks
Since ##px^9+q## is the factor, then ##x^9=\frac{-q}{p}## will be one of the roots. Let ##f(x)=27x^{18}+bx^9+70##, then: $$27\left(\frac{-q}{p}\right)^2+b\left(\frac{-q}{p}\right)+70=0$$ $$b=27 \frac{q}{p}+70 \frac{p}{q}$$ $$b=\frac{27q^2+70p^2}{pq}$$ From this expression, it looks like there is no greatest value of ##b## because increasing the value of ##p## and ##q## will also increase the value of ##b##. How to find the greatest value of ##b##? Thanks
Back
Top