Changes

cleanup
Line 1,500: Line 1,500:  
'''Generalized''' or '''n-ary''' XOR is true when the number of 1-bits  is odd.
 
'''Generalized''' or '''n-ary''' XOR is true when the number of 1-bits  is odd.
    +
<pre>
 
  A + B = (A &#8743; !B) &#8744; (!A &#8743; B)
 
  A + B = (A &#8743; !B) &#8744; (!A &#8743; B)
 
       = {(A &#8743; !B) &#8744; !A} &#8743; {(A &#8743; !B) &#8744; B}
 
       = {(A &#8743; !B) &#8744; !A} &#8743; {(A &#8743; !B) &#8744; B}
Line 1,505: Line 1,506:  
       = (!A &#8744; !B) &#8743; (A &#8744; B)
 
       = (!A &#8744; !B) &#8743; (A &#8744; B)
 
       = !(A &#8743; B) &#8743; (A &#8744; B)
 
       = !(A &#8743; B) &#8743; (A &#8744; B)
 +
</pre>
   −
 
+
<pre>
 
  p + q = (p &#8743; !q)  &#8744; (!p &#8743; B)
 
  p + q = (p &#8743; !q)  &#8744; (!p &#8743; B)
 
   
 
   
Line 1,516: Line 1,518:  
   
 
   
 
       = !(p &#8743; q)  &#8743; (p &#8744; q)
 
       = !(p &#8743; q)  &#8743; (p &#8744; q)
 +
</pre>
   −
 
+
<pre>
 
  p + q = (p &#8743; ~q)  &#8744; (~p &#8743; q)
 
  p + q = (p &#8743; ~q)  &#8744; (~p &#8743; q)
 
   
 
   
Line 1,527: Line 1,530:  
   
 
   
 
       = ~(p &#8743; q)  &#8743; (p &#8744; q)
 
       = ~(p &#8743; q)  &#8743; (p &#8744; q)
 +
</pre>
    
: <math>\begin{matrix}
 
: <math>\begin{matrix}
12,080

edits