Very sorry for being unclear in my question and causing such confusion. But I only require to prove the LHS of the equation, thus by using the boolean postulates, laws, theorems to collapse the LHS to the RHS. I've studying this equation for so long and have yet been able to achieve such a task. A complete solution is not required, I just need a starting point to guide me in the right direction. Thank you in advance for your help.
z(xy + x') = distributive law (factor)
z(x' + x)(x' + y) = distributive law (expand)
z(1)(x' + y) = complement
z(x'+y) = (anything ANDed by 1 equals itself)
zx' + zy = distributive (expand)
yz + x'z = commutative
I believe I've finally figured it out. Anyone care to critique? Thank you.
As you can note, the key part of your solution is converting xy + x' to x' + y. The rest, i.e., multiplying by z and using distributivity, is trivial. The nontrivial part is what I showed in post #3. In fact, your transformation is shorter because you used distributivity of addition over multiplication, which allows changing xy + x' to (x' + x)(x' + y). So, good job!