/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/old-cs-2-03/2021-05-09-states/state32.txt

b a x   b a y

0 0 0   1 1 1
0 0 1   0 0 1
0 1 0   0 0 1
0 1 1   1 1 1
1 0 0   1 1 0
1 0 1   0 0 1
1 1 0   0 0 0
1 1 1   1 1 1


b a x   b

0 0 0   1
0 0 1   0
0 1 0   0
0 1 1   1
1 0 0   1
1 0 1   0
1 1 0   0
1 1 1   1


b a x   a

0 0 0   1
0 0 1   0
0 1 0   0
0 1 1   1
1 0 0   1
1 0 1   0
1 1 0   0
1 1 1   1


b a x   y

0 0 0   1
0 0 1   1
0 1 0   1
0 1 1   1
1 0 0   0
1 0 1   1
1 1 0   0
1 1 1   1




b a x   b

0   0 0 0   1
1   0 1 1   1
2   1 0 0   1
3   1 1 1   1

Gruppe 0
0   0 0 0   1
Gruppe 1
2   1 0 0   1
Gruppe 2
1   0 1 1   1
Gruppe 3
3   1 1 1   1

0;2     - 0 0 
1;3     - 1 1 

b = (a xor x)

--------------------

b a x   a

0 0 0   1
0 1 1   1
1 0 0   1
1 1 1   1

Gruppe 0
0   0 0 0   1
Gruppe 1
1   1 0 0   1
Gruppe 2
2   0 1 1   1
Gruppe 3
3   1 1 1   1

0;1     - 0 0 
2;3     - 1 1


a = (a xor x)

-----------------------

b a x   y

0 0 0   1
0 0 1   1
0 1 0   1
0 1 1   1
1 0 1   1
1 1 1   1

b a x   y

Gruppe 0:
1   0 0 0   1
Gruppe 1;
2   0 0 1   1
3   0 1 0   1
Gruppe 2:
4   0 1 1   1
5   1 0 1   1
Gruppe 3:
6   1 1 1   1

1;2     0 0 -
1;3     0 - 0
2;5     - 0 1
3;4     0 1 -
4;6     - 1 1 
5;6     1 - 1

Gruppe 0:
1;2     0 0 -
Gruppe 1:
3;4     0 1 -

1;2;3;4 0 - - 

1;3     0 - 0
5;6     1 - 1

Gruppe 1:
2;5     - 0 1
Gruppe 2:
4;6     - 1 1 

2;5;4;6 - - 1

1;2;3;4 0 - -
1;3     0 - 0
5;6     1 - 1
2;5;4;6 - - 1

        1   2   3   4   5   6
1;2;3;4 *   *   *   *
1;3     *       *
5;6                     *   *
2;5;4;6     *       *   *   *


        1   2   3   4   5   6
1;2;3;4 *   *   *   *
2;5;4;6     *       *   *   *

y = not b or x