/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/old-cs-2-03/fsm-21-06-09/schaltwerk2.txt

0   0 0 0   1 0 1
1   0 0 1   1 0 0
2   0 1 0   0 0 1
3   0 1 1   0 1 1
4   1 0 0   0 0 1
5   1 0 1   0 0 1
6   1 1 0   0 1 0
7   1 1 1   1 0 1


0   0 0 0   1
1   0 0 1   1
2   0 1 0   0
3   0 1 1   0
4   1 0 0   0
5   1 0 1   0
6   1 1 0   0
7   1 1 1   1

0   0 0 0   0
1   0 0 1   0
2   0 1 0   0
3   0 1 1   1
4   1 0 0   0
5   1 0 1   0
6   1 1 0   1
7   1 1 1   0

0   0 0 0   1
1   0 0 1   0
2   0 1 0   1
3   0 1 1   1
4   1 0 0   1
5   1 0 1   1
6   1 1 0   0
7   1 1 1   1



0   0 0 0   1
1   0 0 1   1
7   1 1 1   1

3   0 1 1   1
6   1 1 0   1

0   0 0 0   1
2   0 1 0   1
3   0 1 1   1
4   1 0 0   1
5   1 0 1   1
7   1 1 1   1



0   0 0 0   1
1   0 0 1   1
7   1 1 1   1

0;1     0 0 - 
7       1 1 1

3   0 1 1   1
6   1 1 0   1

3       0 1 1 
6       1 1 0 


0   0 0 0   1
2   0 1 0   1
3   0 1 1   1
4   1 0 0   1
5   1 0 1   1
7   1 1 1   1

Gruppe 0
0   0 0 0   1
Gruppe 1
2   0 1 0   1
4   1 0 0   1
Gruppe 2
3   0 1 1   1
5   1 0 1   1
Gruppe 3
7   1 1 1   1

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

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


0;1     0 0 - 
7       1 1 1
c := (not c and not b) or (c and b and a)


3       0 1 1 
6       1 1 0 
b := (not c and b and a) or (c and b and not a)

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

a := (b and a) or (not b and not a) or (c and a) or (not c and not a) or (not c and b) or (c and not b)


c := (not c and not b) or (c and b and a)
b := (not c and b and a) or (c and b and not a)
a := (b and a) or (not b and not a) or (c and a) or (not c and not a) or (not c and b) or (c and not b)