title: Is AB the equivalent of A^B?
body: <p>Doing some boolean algebra. I am under the assumption that <code>AB(B+~C)</code> can also be written as </p>
  
  <pre><code>A^B ^ (B+~C) OR (A AND B)AND(B OR ~C) 
  </code></pre>
  
  <p>Is this true? </p>
  
  <p>If that is the case then for the following expression I simplified that if </p>
  
  <pre><code>A=1 B=1 C=0  
  
  A^B(B^~C) 
  = (1^1) ^ (1 OR 1) 
  = 1 ^ 1
  = 1
  = True`
  </code></pre>
  
  <p>Does this make sense or does 
      AB 
  mean something else entirely? </p>