I need to prove or disprove that in any Boolean algebra: if $a+ab=b$ then $a=b=1$ or $a=b=0$.
I build the following truth table: $$ \begin{array}{|c|c|c|} \hline a & b & a+ab \\ \hline 0 & 0 & 0 \\ \hline 0 & 1 & 0 \\ \hline 1 & 0 & 1 \\ \hline 1 & 1 & 1 \\ \hline \end{array} $$ So it does looks like that theorem is true. Can I prove it with algebra? if not, How should I prove it?
Edit: You guys proved it for the binary Boolean algebra. The theorem is for every Boolean algebra (I just gave an example for binary). How can I prove it for every Boolean algebra?
$a + ab = b \iff a(1+b) = b \iff a = b$