Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I wish to formulate a proof that if $x+y = x+z$ and $xy$ = $xz$ then $y=z$. I'm just beginning my study of Boolean algebra, but is $y=z$ not self evident from the stated equations?

share|cite|improve this question
What happens if you add $x$ to both sides of the first equality ? – Siméon Dec 6 '12 at 23:06
$x+x=x$ so both sides remain the same? – Jason Byrne Dec 6 '12 at 23:14
Does '$+$' stands for 'xor' or for 'or' in your definition? – Siméon Dec 6 '12 at 23:17
Oh sorry, '+' stands for 'or' – Jason Byrne Dec 6 '12 at 23:18
Ok, my mistake then. From $x+y=x+z$ you can derive $(\neg x)y = (\neg x)z$ and then compute $(\neg x + x)y = \dots$. – Siméon Dec 6 '12 at 23:21

$x$ is either true or false. In either case you can derive $y=z$ from one of the equations.

share|cite|improve this answer
Thanks joriki.. – Jason Byrne Dec 7 '12 at 0:01

Use absorption and distributivity: $$y=y(x+y)=y(x+z)=yx+yz=zx+yz=z(x+y)=z(x+z)=z.$$

share|cite|improve this answer
Thanks for the help. – Jason Byrne Dec 7 '12 at 0:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.