|
(--) ⊕ (--) |
(<> ⊕ <u>) ⊕ (<> ⊕ <u>) |
<<>> ⊕ u |
(++) |
|
(++) ⊕ (--) |
(<<>> ⊕ u) ⊕ (<> ⊕ <u>) |
0 ⊕ u•0 |
(xx) |
|
(-+) ⊕ (--) |
(<> ⊕ u) ⊕ (<> ⊕ <u>) |
<<>> |
(+x) |
|
(+-) ⊕ (--) |
(<<>> ⊕ <u>) ⊕ (<> ⊕ <u>) |
u |
(x+) |
|
(-x) ⊕ (--) |
(<>) ⊕ (<> ⊕ <u>) |
<<>> ⊕ <u> |
(+-) |
|
(x-) ⊕ (--) |
(<u>) ⊕ (<> ⊕ <u>) |
<> ⊕ u |
(-+) |
|
(x+) ⊕ (--) |
(u) ⊕ (<> ⊕ <u>) |
<> |
(-x) |
|
(+x) ⊕ (--) |
(<<>>) ⊕ (<> ⊕ <u>) |
<u> |
(x-) |
|
|
|
|
|
|
(--) ⊕ (++) |
(<> ⊕ <u>) ⊕ (<<>> ⊕ u) |
0 ⊕ u•0 |
(xx) |
|
(++) ⊕ (++) |
(<<>> ⊕ u) ⊕ (<<>> ⊕ u) |
<> ⊕ <u> |
(--) |
|
(-+) ⊕ (++) |
(<> ⊕ u) ⊕ (<<>> ⊕ u) |
<u> |
(x-) |
|
(+-) ⊕ (++) |
(<<>> ⊕ <u>) ⊕ (<<>> ⊕ u) |
<> |
(-x) |
|
(-x) ⊕ (++) |
(<>) ⊕ (<<>> ⊕ u) |
u |
(x+) |
|
(x-) ⊕ (++) |
(<u>) ⊕ (<<>> ⊕ u) |
<<>> |
(+x) |
|
(x+) ⊕ (++) |
(u) ⊕ (<<>> ⊕ u) |
<<>> ⊕ <u> |
(+-) |
|
(+x) ⊕ (++) |
(<<>>) ⊕ (<<>> ⊕ u) |
<> ⊕ u |
(-+) |
|
|
|
|
|
|
(--) ⊕ (-+) |
(<> ⊕ <u>) ⊕ (<> ⊕ u) |
<<>> |
(+x) |
|
(++) ⊕ (-+) |
(<<>> ⊕ u) ⊕ (<> ⊕ u) |
<u> |
(x-) |
|
(-+) ⊕ (-+) |
(<> ⊕ u) ⊕ (<> ⊕ u) |
<<>> ⊕ <u> |
(+-) |
|
(+-) ⊕ (-+) |
(<<>> ⊕ <u>) ⊕ (<> ⊕ u) |
0 ⊕ u•0 |
(xx) |
|
(-x) ⊕ (-+) |
(<>) ⊕ (<> ⊕ u) |
<<>> ⊕ u |
(++) |
|
(x-) ⊕ (-+) |
(<u>) ⊕ (<> ⊕ u) |
<> |
(-x) |
|
(x+) ⊕ (-+) |
(u) ⊕ (<> ⊕ u) |
<> ⊕ <u> |
(--) |
|
(+x) ⊕ (-+) |
(<<>>) ⊕ (<> ⊕ u) |
u |
(x+) |
|
|
|
|
|
|
(--) ⊕ (+-) |
(<> ⊕ <u>) ⊕ (<<>> ⊕ <u>) |
u |
(x+) |
|
(++) ⊕ (+-) |
(<<>> ⊕ u) ⊕ (<<>> ⊕ <u>) |
<> |
(-x) |
|
(-+) ⊕ (+-) |
(<> ⊕ u) ⊕ (<<>> ⊕ <u>) |
0 ⊕ u•0 |
(xx) |
|
(+-) ⊕ (+-) |
(<<>> ⊕ <u>) ⊕ (<<>> ⊕ <u>) |
<> ⊕ u |
(-+) |
|
(-x) ⊕ (+-) |
(<>) ⊕ (<<>> ⊕ <u>) |
<u> |
(x-) |
|
(x-) ⊕ (+-) |
(<u>) ⊕ (<<>> ⊕ <u>) |
<<>> ⊕ u |
(++) |
|
(x+) ⊕ (+-) |
(u) ⊕ (<<>> ⊕ <u>) |
<<>> |
(+x) |
|
(+x) ⊕ (+-) |
(<<>>) ⊕ (<<>> ⊕ <u>) |
<> ⊕ <u> |
(--) |
|
|
|
|
|
|
(--) ⊕ (-x) |
(<> ⊕ <u>) ⊕ (<>) |
<<>> ⊕ <u> |
(+-) |
|
(++) ⊕ (-x) |
(<<>> ⊕ u) ⊕ (<>) |
u |
(x+) |
|
(-+) ⊕ (-x) |
(<> ⊕ u) ⊕ (<>) |
<<>> ⊕ u |
(++) |
|
(+-) ⊕ (-x) |
(<<>> ⊕ <u>) ⊕ (<>) |
<u> |
(x-) |
|
(-x) ⊕ (-x) |
(<>) ⊕ (<>) |
<<>> |
(+x) |
|
(x-) ⊕ (-x) |
(<u>) ⊕ (<>) |
<> ⊕ <u> |
(--) |
|
(x+) ⊕ (-x) |
(u) ⊕ (<>) |
<> ⊕ u |
(-+) |
|
(+x) ⊕ (-x) |
(<<>>) ⊕ (<>) |
0 ⊕ u•0 |
(xx) |
|
|
|
|
|
|
(--) ⊕ (x-) |
(<> ⊕ <u>) ⊕ (<u>) |
<> ⊕ u |
(-+) |
|
(++) ⊕ (x-) |
(<<>> ⊕ u) ⊕ (<u>) |
<<>> |
(+x) |
|
(-+) ⊕ (x-) |
(<> ⊕ u) ⊕ (<u>) |
<> |
(-x) |
|
(+-) ⊕ (x-) |
(<<>> ⊕ <u>) ⊕ (<u>) |
<<>> ⊕ u |
(++) |
|
(-x) ⊕ (x-) |
(<>) ⊕ (<u>) |
<> ⊕ <u> |
(--) |
|
(x-) ⊕ (x-) |
(<u>) ⊕ (<u>) |
u |
(x+) |
|
(x+) ⊕ (x-) |
(u) ⊕ (<u>) |
0 ⊕ u•0 |
(xx) |
|
(+x) ⊕ (x-) |
(<<>>) ⊕ (<u>) |
<<>> ⊕ <u> |
(+-) |
|
|
|
|
|
|
(--) ⊕ (x+) |
(<> ⊕ <u>) ⊕ (u) |
<> |
(-x) |
|
(++) ⊕ (x+) |
(<<>> ⊕ u) ⊕ (u) |
<<>> ⊕ <u> |
(+-) |
|
(-+) ⊕ (x+) |
(<> ⊕ u) ⊕ (u) |
<> ⊕ <u> |
(--) |
|
(+-) ⊕ (x+) |
(<<>> ⊕ <u>) ⊕ (u) |
<<>> |
(+x) |
|
(-x) ⊕ (x+) |
(<>) ⊕ (u) |
<> ⊕ u |
(-+) |
|
(x-) ⊕ (x+) |
(<u>) ⊕ (u) |
0 ⊕ u•0 |
(xx) |
|
(x+) ⊕ (x+) |
(u) ⊕ (u) |
<u> |
(x-) |
|
(+x) ⊕ (x+) |
(<<>>) ⊕ (u) |
<<>> ⊕ u |
(++) |
|
|
|
|
|
|
(--) ⊕ (+x) |
(<> ⊕ <u>) ⊕ (<<>>) |
<u> |
(x-) |
|
(++) ⊕ (+x) |
(<<>> ⊕ u) ⊕ (<<>>) |
<> ⊕ u |
(-+) |
|
(-+) ⊕ (+x) |
(<> ⊕ u) ⊕ (<<>>) |
u |
(x+) |
|
(+-) ⊕ (+x) |
(<<>> ⊕ <u>) ⊕ (<<>>) |
<> ⊕ <u> |
(--) |
|
(-x) ⊕ (+x) |
(<>) ⊕ (<<>>) |
0 ⊕ u•0 |
(xx) |
|
(x-) ⊕ (+x) |
(<u>) ⊕ (<<>>) |
<<>> ⊕ <u> |
(+-) |
|
(x+) ⊕ (+x) |
(u) ⊕ (<<>>) |
<<>> ⊕ u |
(++) |
|
(+x) ⊕ (+x) |
(<<>>) ⊕ (<<>>) |
<> |
(-x) |
Het sommeren van enkelvoudige dubbelbits is altijd commutatief. Dit is inderdaad vanzelfsprekend, daar de afzonderlijke componenten van de enkelvoudige dubbelbits worden opgeteld, hetgeen noodzakelijkerwijze onafhankelijk is van welk we eerst beschouwen.