title: Why are there so many notations for Boolean logic?
body: <ul>
  <li><p>English "and" "or" "not"</p></li>
  <li><p>Sets <code>∩ ∪ '</code></p></li>
  <li><p>First order logic <code>∧ ∨ ¬</code></p></li>
  <li><p>Combinational logic <code>* + '</code></p></li>
  <li><p>C-style programming <code>&amp;&amp; || !</code></p></li>
  <li><p>Circuit diagrams</p></li>
  </ul>
  
  <p><img src="https://i.stack.imgur.com/jjLsr.png" alt="and gate"> <img src="https://i.stack.imgur.com/TjZx5.png" alt="or gate"> <img src="https://i.stack.imgur.com/eSC44.png" alt="not gate"></p>
  
  <p>Set notation can be explained by the fact that set operations are different from bit operations.</p>
  
  <p>C-style notation can be explained by the limitations of ASCII code (no caps or cups).</p>
  
  <p>But still, there's a lot of unnecessary translation.</p>
  
  <p>Why don't circuit diagrams just use boxes containing the mathematical symbols? Then you wouldn't have to look up every logic gate you're unfamiliar with. Not to mention that it's very hard to Google: <img src="https://i.stack.imgur.com/jjLsr.png" alt="and gate"></p>