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

First of all, i'm sorry for my english. I'll try to do my best to explain myself.

I've been trying to look for it on the internet, but i'm not sure about the answer. I hope someone can help me here :)

My question is: Is it possible to add a new term to both sides of a boolean algebra expression?

For example:

A * B' = 0, then

A * B' + A = 0 + A, then

A * B' + A = A

I know that in that equation specifically DOES work, but i'm not sure if it's absolutely acceptable always.

Thank you!

share|cite|improve this question
Maybe you can have a look at section 5: – Amzoti Nov 21 '12 at 22:44
Interestingly, people who apologize for their English tend to have quite a high proficiency in English :-) – joriki Nov 21 '12 at 22:44
It is an axiom of equality that if $t=s$ then $f(t)=f(s)$ for any function $f$ defined on $t$ (or on $s$). (In particular, if $t=A*B'$ and $f(r)=r+A$ for $r,A,B$ in a Boolean algebra. The point is that this is not directly about Boolean algebras, but much more general.) Is this what you are talking about? (I may have misunderstood.) – Andrés E. Caicedo Nov 21 '12 at 22:44
Thanks, Amzoti. I went over the titles, and i think i have all that covered. I've been checking my notes for a while now, but i can't convince myself about the question I asked. Thank you anyway! I'm not sure i understood you correctly Andres Caicedo, but i think that what you meant is that if I apply a function, in this particular case, a function that adds A to the value the function takes as a parameter, then i can apply the function on the other side of the = sign, and the equality will still hold. So, it is possible to do what i ask, then... Thank you very much!! – Federico Nov 21 '12 at 23:01

If $A=B$ then $A+C = B+C$, but it's not generally true in Boolean algebras that if $A+C=B+C$ then $A=B$.

share|cite|improve this answer
That was my doubt! Thank you very much!! I really appreciate it! I was trying not to use it, because i wasn't sure. You just solved one big question :) – Federico Nov 21 '12 at 23:06

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.