/media/sda-magnetic/david/Extern-Magnetic-2022-06-29/Extern01/Dokumente-11-2021-07-05/informatik-math/informatik2/2021-04-24-state/firstz4.txt

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

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

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

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

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




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

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

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

z2 = (not z2 and not z1 and not z0) or (z2 and z1 and not z0) or (z2 and z1 and not x)

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

Gruppe 0
0   0 0 0 0     1     
Gruppe 1
1   0 0 0 1     1
2   0 1 0 0     1
3   1 0 0 0     1
Gruppe 2
4   0 1 0 1     1
5   1 0 0 1     1
6   1 1 0 0     1
Grupp 3
7   0 1 1 1     1
8   1 0 1 1     1
9   1 1 0 1     1
10  1 1 1 0     1

0;1     0 0 0 -
0;2     0 - 0 0 
0;3     - 0 0 0
1;4     0 - 0 1
1;5     - 0 0 1
2;4     0 1 0 - 
2;6     - 1 0 0 
3;5     1 0 0 -
3;6     1 - 0 0 
4;7     0 1 - 1 
4;9     - 1 0 1
5;8     1 0 - 1
5;9     1 - 0 1
6;9     1 1 0 -
6;10    1 1 - 0


0;1     0 0 0 -
2;4     0 1 0 -
3;5     1 0 0 -
6;9     1 1 0 -
4;7     0 1 - 1
5;8     1 0 - 1
6;10    1 1 - 0
3;6     1 - 0 0
2;6     - 1 0 0 
1;4     0 - 0 1
0;2     0 - 0 0 
5;9     1 - 0 1
0;3     - 0 0 0
1;5     - 0 0 1
4;9     - 1 0 1

0;1     0 0 0 -
2;4     0 1 0 -
3;5     1 0 0 -
6;9     1 1 0 -
4;7     0 1 - 1
5;8     1 0 - 1
6;10    1 1 - 0
0;2     0 - 0 0 
3;6     1 - 0 0
2;6     - 1 0 0 
1;4     0 - 0 1
5;9     1 - 0 1
0;3     - 0 0 0
1;5     - 0 0 1
4;9     - 1 0 1

0;1     0 0 0 -
2;4     0 1 0 -
3;5     1 0 0 -
6;9     1 1 0 -
4;7     0 1 - 1
5;8     1 0 - 1
6;10    1 1 - 0
0;2     0 - 0 0 
3;6     1 - 0 0
1;4     0 - 0 1
5;9     1 - 0 1
0;3     - 0 0 0
1;5     - 0 0 1
4;9     - 1 0 1
2;6     - 1 0 0 


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

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

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


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

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

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

4;7         0 1 - 1
5;8         1 0 - 1
6;10        1 1 - 0

Gruppe 2
4;7         0 1 - 1
5;8         1 0 - 1
6;10        1 1 - 0

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

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

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

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

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

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

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

0;3     - 0 0 0
1;5     - 0 0 1
4;9     - 1 0 1

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

0;3;1;5     - 0 0 -
1;5;4;9     - - 0 1




0;1;2;4;3;5;6;9     - - 0 -
0;1;3;5;2;4;6;9     - - 0 -
4;7                 0 1 - 1
6;10                1 1 - 0
5;8                 1 0 - 1
0;2;1;4;3;6;4;9     - - 0 -
0;3;1;5             - 0 0 -
1;5;4;9             - - 0 1

0;1;2;4;3;5;6;9     - - 0 -
4;7;6;10    - 1 - 0
5;8     1 0 - 1
0;3;1;5     - 0 0 -
1;5;4;9     - - 0 1

                    0   1   2   3   4   5   6   7   8   9   10
0;2;2;4;3;5;6;9     *   *   *   *   *   *   *           *
4;7;                                *           *
6;10                                        *               *
5;8                                     *           *

(not z0) or (not z2 and z1 and x) or (z2 and z1 and not x) or (z2 and not z1 and x)


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

Gruppe 0
1   0 0 0 0     1     
Gruppe 1
2   0 0 0 1     1
3   0 0 1 0     1
4   0 1 0 0     1
5   1 0 0 0     1
Gruppe 2
6   0 0 1 1     1
7   1 0 1 0     1
Gruppe 3
8   1 0 1 1     1
9   1 1 0 1     1
10  1 1 1 0     1
Gruppe 4
11  1 1 1 1     1

1;2     0 0 0 -
1;3     0 0 - 0
1;4     0 - 0 0
1;5     - 0 0 0
2;6     0 0 - 1
3;6     0 0 1 -
5;7     1 0 - 0
6;8     - 0 1 1
7;8     1 0 1 -
7;10    1 - 1 0
8;11    1 - 1 1
9;11    1 1 - 1
10;11   1 1 1 -

1;2     0 0 0 -
3;6     0 0 1 -
7;8     1 0 1 -
10;11   1 1 1 -
1;3     0 0 - 0
5;7     1 0 - 0
9;11    1 1 - 1
2;6     0 0 - 1
1;4     0 - 0 0
7;10    1 - 1 0
8;11    1 - 1 1
1;5     - 0 0 0
6;8     - 0 1 1


1;2     0 0 0 -
3;6     0 0 1 -
7;8     1 0 1 -
10;11   1 1 1 -

Gruppe 0
1;2     0 0 0 -
Gruppe 1
3;6     0 0 1 -
Gruppe 2
7;8     1 0 1 -
Gruppe 3
10;11   1 1 1 -

1;2;3;6     0 0 - -
3;6;7;8     - 0 1 -
7;8;10;11   1 - 1 -

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

1;3     0 0 - 0
5;7     1 0 - 0
9;11    1 1 - 1
2;6     0 0 - 1

Gruppe 0
1;3     0 0 - 0
Gruppe 1
2;6     0 0 - 1
5;7     1 0 - 0
Gruppe 3;
9;11    1 1 - 1

1;3;2;6     0 0 - - 
1;3;5;7     - 0 - 0
9;11        1 1 - 1

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

1;4     0 - 0 0
7;10    1 - 1 0
8;11    1 - 1 1

7;10;8;11   1 - 1 -
1;4         0 - 0 0 

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

1;5     - 0 0 0
6;8     - 0 1 1

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

1;2;3;6     0 0 - -
3;6;7;8     - 0 1 -
7;8;10;11   1 - 1 -
1;3;2;6     0 0 - - 
1;3;5;7     - 0 - 0
9;11        1 1 - 1
7;10;8;11   1 - 1 -
1;4         0 - 0 0 
1;5         - 0 0 0
6;8         - 0 1 1


1;2;3;6     0 0 - -
1;3;2;6     0 0 - - 
9;11        1 1 - 1
1;4         0 - 0 0
3;6;7;8     - 0 1 -
7;8;10;11   1 - 1 -
7;10;8;11   1 - 1 -
1;3;5;7     - 0 - 0
1;5         - 0 0 0
6;8         - 0 1 1

1;2;3;6     0 0 - -
9;11        1 1 - 1
1;4         0 - 0 0
3;6;7;8     - 0 1 -
7;8;10;11   1 - 1 -
1;3;5;7     - 0 - 0
1;5         - 0 0 0
6;8         - 0 1 1
 
                1   2   3   4   5   6   7   8   9   10  11
1;2;3;6         *   *   *           *
9;11                                            *       *
1;4             *           *
3;6;7;8                 *           *   *   *
7;8;10;11                               *   *       *   *
1;3;5;7         *       *       *       *
1;5             *               *
6;8                                 *       *

                1   2   3   4   5   6   7   8   9   10  11
1;2;3;6         *   *   *           *
9;11                                            *       *
1;4             *           *
7;8;10;11                               *   *       *   *
1;3;5;7         *       *       *       *

(not z2 and not z1) or (z2 and z1 and x) or (z2 and z0) or (not z1 and not x)





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