I'm doing a bit of homework, and it says to prove or disprove the statement
If you do a truth table and take the sum-of-products, you can eventually simplify the equation down to $XYZ+Y'$. Now that was way too close for me to stop there, and I couldn't think of anything beyond that. I plugged it into one of the WolframAlpha Boolean Algebra equators and it came out with $XYZ+Y'=XZ+Y'$. I'm perplexed as to how it got that, or if it's just a bug in the program.
The only thing I can think of is that it is an extension on the $A+A'B=A+B$ law, but I'm not entirely sure that can be used on $3$ different variables like this. Can someone explain if this is the legitimate answer, and if so can you please prove it so I can see how that's true? Thanks a bunch.