|
(--)•(--) |
(<> ⊕ <u>)•(<> ⊕ <u>) |
<> ⊕ <u> |
(--) |
|
(++)•(--) |
(<<>> ⊕ u)•(<> ⊕ <u>) |
<<>> ⊕ u |
(++) |
|
(-+)•(--) |
(<> ⊕ u)•(<> ⊕ <u>) |
0 ⊕ u•0 |
(xx) |
|
(+-)•(--) |
(<<>> ⊕ <u>)•(<> ⊕ <u>) |
0 ⊕ u•0 |
(xx) |
|
(-x)•(--) |
(<>)•(<> ⊕ <u>) |
<<>> ⊕ u |
(++) |
|
(x-)•(--) |
(<u>)•(<> ⊕ <u>) |
<<>> ⊕ u |
(++) |
|
(x+)•(--) |
(u)•(<> ⊕ <u>) |
<> ⊕ <u> |
(--) |
|
(+x)•(--) |
(<<>>)•(<> ⊕ <u>) |
<> ⊕ <u> |
(--) |
|
|
|
|
|
|
(--)•(++) |
(<> ⊕ <u>)•(<<>> ⊕ u) |
<<>> ⊕ u |
(++) |
|
(++)•(++) |
(<<>> ⊕ u)•(<<>> ⊕ u) |
<> ⊕ <u> |
(--) |
|
(-+)•(++) |
(<> ⊕ u)•(<<>> ⊕ u) |
0 ⊕ u•0 |
(xx) |
|
(+-)•(++) |
(<<>> ⊕ <u>)•(<<>> ⊕ u) |
0 ⊕ u•0 |
(xx) |
|
(-x)•(++) |
(<>)•(<<>> ⊕ u) |
<> ⊕ <u> |
(--) |
|
(x-)•(++) |
(<u>)•(<<>> ⊕ u) |
<> ⊕ <u> |
(--) |
|
(x+)•(++) |
(u)•(<<>> ⊕ u) |
<<>> ⊕ u |
(++) |
|
(+x)•(++) |
(<<>>)•(<<>> ⊕ u) |
<<>> ⊕ u |
(++) |
|
|
|
|
|
|
(--)•(-+) |
(<> ⊕ <u>)•(<> ⊕ u) |
0 ⊕ u•0 |
(xx) |
|
(++)•(-+) |
(<<>> ⊕ u)•(<> ⊕ u) |
0 ⊕ u•0 |
(xx) |
|
(-+)•(-+) |
(<> ⊕ u)•(<> ⊕ u) |
<> ⊕ u |
(-+) |
|
(+-)•(-+) |
(<<>> ⊕ <u>)•(<> ⊕ u) |
<<>> ⊕ <u> |
(+-) |
|
(-x)•(-+) |
(<>)•(<> ⊕ u) |
<<>> ⊕ <u> |
(+-) |
|
(x-)•(-+) |
(<u>)•(<> ⊕ u) |
<> ⊕ u |
(-+) |
|
(x+)•(-+) |
(u)•(<> ⊕ u) |
<<>> ⊕ <u> |
(+-) |
|
(+x)•(-+) |
(<<>>)•(<> ⊕ u) |
<> ⊕ u |
(-+) |
|
|
|
|
|
|
(--)•(+-) |
(<> ⊕ <u>)•(<<>> ⊕ <u>) |
0 ⊕ u•0 |
(xx) |
|
(++)•(+-) |
(<<>> ⊕ u)•(<<>> ⊕ <u>) |
0 ⊕ u•0 |
(xx) |
|
(-+)•(+-) |
(<> ⊕ u)•(<<>> ⊕ <u>) |
<<>> ⊕ <u> |
(+-) |
|
(+-)•(+-) |
(<<>> ⊕ <u>)•(<<>> ⊕ <u>) |
<> ⊕ u |
(-+) |
|
(-x)•(+-) |
(<>)•(<<>> ⊕ <u>) |
<> ⊕ u |
(-+) |
|
(x-)•(+-) |
(<u>)•(<<>> ⊕ <u>) |
<<>> ⊕ <u> |
(+-) |
|
(x+)•(+-) |
(u)•(<<>> ⊕ <u>) |
<> ⊕ u |
(-+) |
|
(+x)•(+-) |
(<<>>)•(<<>> ⊕ <u>) |
<<>> ⊕ <u> |
(+-) |
|
|
|
|
|
|
(--)•(-x) |
(<> ⊕ <u>)•(<>) |
<<>> ⊕ u |
(++) |
|
(++)•(-x) |
(<<>> ⊕ u)•(<>) |
<> ⊕ <u> |
(--) |
|
(-+)•(-x) |
(<> ⊕ u)•(<>) |
<<>> ⊕ <u> |
(+-) |
|
(+-)•(-x) |
(<<>> ⊕ <u>)•(<>) |
<> ⊕ u |
(-+) |
|
(-x)•(-x) |
(<>)•(<>) |
<<>> |
(+x) |
|
(x-)•(-x) |
(<u>)•(<>) |
u |
(x+) |
|
(x+)•(-x) |
(u)•(<>) |
<u> |
(x-) |
|
(+x)•(-x) |
(<<>>)•(<>) |
<> |
(-x) |
|
|
|
|
|
|
(--)•(x-) |
(<> ⊕ <u>)•(<u>) |
<<>> ⊕ u |
(++) |
|
(++)•(x-) |
(<<>> ⊕ u)•(<u>) |
<> ⊕ <u> |
(--) |
|
(-+)•(x-) |
(<> ⊕ u)•(<u>) |
<> ⊕ u |
(-+) |
|
(+-)•(x-) |
(<<>> ⊕ <u>)•(<u>) |
<<>> ⊕ <u> |
(+-) |
|
(-x)•(x-) |
(<>)•(<u>) |
u |
(x+) |
|
(x-)•(x-) |
(<u>)•(<u>) |
<<>> |
(+x) |
|
(x+)•(x-) |
(u)•(<u>) |
<> |
(-x) |
|
(+x)•(x-) |
(<<>>)•(<u>) |
<u> |
(x-) |
|
|
|
|
|
|
(--)•(x+) |
(<> ⊕ <u>)•(u) |
<> ⊕ <u> |
(--) |
|
(++)•(x+) |
(<<>> ⊕ u)•(u) |
<<>> ⊕ u |
(++) |
|
(-+)•(x+) |
(<> ⊕ u)•(u) |
<<>> ⊕ <u> |
(+-) |
|
(+-)•(x+) |
(<<>> ⊕ <u>)•(u) |
<> ⊕ u |
(-+) |
|
(-x)•(x+) |
(<>)•(u) |
<u> |
(x-) |
|
(x-)•(x+) |
(<u>)•(u) |
<> |
(-x) |
|
(x+)•(x+) |
(u)•(u) |
<<>> |
(+x) |
|
(+x)•(x+) |
(<<>>)•(u) |
u |
(x+) |
|
|
|
|
|
|
(--)•(+x) |
(<> ⊕ <u>)•(<<>>) |
<> ⊕ <u> |
(--) |
|
(++)•(+x) |
(<<>> ⊕ u)•(<<>>) |
<<>> ⊕ u |
(++) |
|
(-+)•(+x) |
(<> ⊕ u)•(<<>>) |
<> ⊕ u |
(-+) |
|
(+-)•(+x) |
(<<>> ⊕ <u>)•(<<>>) |
<<>> ⊕ <u> |
(+-) |
|
(-x)•(+x) |
(<>)•(<<>>) |
<> |
(-x) |
|
(x-)•(+x) |
(<u>)•(<<>>) |
<u> |
(x-) |
|
(x+)•(+x) |
(u)•(<<>>) |
u |
(x+) |
|
(+x)•(+x) |
(<<>>)•(<<>>) |
<<>> |
(+x) |
Het transformatie product van enkelvoudige dubbelbits is altijd commutatief. Dit is inderdaad vanzelfsprekend, daar de afzonderlijke componenten van de enkelvoudige dubbelbits worden vermenigvuldigd met dit commutatief product, hetgeen noodzakelijkerwijze onafhankelijk is van welk we eerst beschouwen.
Verder stellen we vast dat we uitsluitend (xx) bekomen voor de volgende situaties:
(-+)•(--) en de inbedding (+-)•(++)
(+-)•(--) en de inbedding (-+)•(++)
Noteer dat het transformatie product niet te onderscheiden is van de exclusieve disjunctie.