MyWikiBiz, Author Your Legacy — Sunday October 26, 2025
Jump to navigationJump to search
37 bytes added
, 16:40, 26 May 2007
| 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 ∧ !B) ∨ (!A ∧ B) | | A + B = (A ∧ !B) ∨ (!A ∧ B) |
| | = {(A ∧ !B) ∨ !A} ∧ {(A ∧ !B) ∨ B} | | = {(A ∧ !B) ∨ !A} ∧ {(A ∧ !B) ∨ B} |
| Line 1,505: |
Line 1,506: |
| | = (!A ∨ !B) ∧ (A ∨ B) | | = (!A ∨ !B) ∧ (A ∨ B) |
| | = !(A ∧ B) ∧ (A ∨ B) | | = !(A ∧ B) ∧ (A ∨ B) |
| | + | </pre> |
| | | | |
| − | | + | <pre> |
| | p + q = (p ∧ !q) ∨ (!p ∧ B) | | p + q = (p ∧ !q) ∨ (!p ∧ B) |
| | | | |
| Line 1,516: |
Line 1,518: |
| | | | |
| | = !(p ∧ q) ∧ (p ∨ q) | | = !(p ∧ q) ∧ (p ∨ q) |
| | + | </pre> |
| | | | |
| − | | + | <pre> |
| | p + q = (p ∧ ~q) ∨ (~p ∧ q) | | p + q = (p ∧ ~q) ∨ (~p ∧ q) |
| | | | |
| Line 1,527: |
Line 1,530: |
| | | | |
| | = ~(p ∧ q) ∧ (p ∨ q) | | = ~(p ∧ q) ∧ (p ∨ q) |
| | + | </pre> |
| | | | |
| | : <math>\begin{matrix} | | : <math>\begin{matrix} |