'How can I simplify this bitwise equation?

How can i simplify this equation from this

(x1^y1)&(x2^y2)=(x1^y1)

to this

y2=( (x1^y1) | x1) ^ x1

where ^ is xor, | is or and & is and operations respectively.

Thanks.

Solution 1:^[1]

When

x1 = y1 = false
x2 = y2 = true

the first equation holds (false = false), but not the second (true = false).

You cannot simplify the first to the second equation.

This article follows the attribution requirements of Stack Overflow and is licensed under CC BY-SA 3.0.

Solution	Source
Solution 1	Sebastian