query: In boolean algebra, why is a+a'b = a+b?
positive_passages.docid: 20346
positive_passages.text: 'Algebraic' way to prove the boolean identity $a + \overline{a}*b = a + b$
negative_passages.docid: 109745
negative_passages.text: If $(a,k)=(b,m)=1$, prove that $(ab,km)=(a,m)(b,k)$.
negative_passages.docid: 62474
negative_passages.text: If $AB=I_n$ and $BA=I_m$ then $n=m$.
negative_passages.docid: 48211
negative_passages.text: When is $(a+b)^n \equiv a^n+b^n$?
negative_passages.docid: 25907
negative_passages.text: Show $a\Bbb Z+b\Bbb Z = \gcd(a,b)\Bbb Z$
negative_passages.docid: 124097
negative_passages.text: How does += (plus equal) work?
negative_passages.docid: 22115
negative_passages.text: Equivalent definitions of Boolean Algebras
negative_passages.docid: 13906
negative_passages.text: How to prove the set $S$ is closed under the binary operation $a*b=a+b+kab$?
negative_passages.docid: 124320
negative_passages.text: $a,b,c>0 \text{ s.t. }a+b+c=1 \implies \sqrt{ab+c}+\sqrt{bc+a}+\sqrt{ca+b} \ge 1+ \sqrt{ab}+\sqrt{bc}+\sqrt{ca}$
negative_passages.docid: 131156
negative_passages.text: problem simplifying boolean algebra expression using consensus theorem
negative_passages.docid: 23869
negative_passages.text: Prove the implication "if $ac>bc$ and $c>0$, then $a>b$" using the contrapositive
negative_passages.docid: 106583
negative_passages.text: Why does !new Boolean(false) equals false in JavaScript?
negative_passages.docid: 20878
negative_passages.text: If $(a,b)=1$ then prove $(a+b, ab)=1$.
negative_passages.docid: 8787
negative_passages.text: In a ring $(A,+, \cdot)$ if $aba = a$ then $bab = b$ and all non zero elements in $A$ are invertible.
negative_passages.docid: 45979
negative_passages.text: Deﬁne a new addition ⊕ and multiplication on Z by a⊕b = a + b−1 and ab = a + b−ab.
negative_passages.docid: 19457
negative_passages.text: Show that: $\inf(A+B) = \inf(A)+ \inf(B)$
negative_passages.docid: 58773
negative_passages.text: What does the operation c=a+++b mean?