/media/sda-magnetic/david/Dok-15-2023-11-27/fernuni-hagen/cs-i-ii/fsm/fsm/2021-05-07-automat/automat5.txt

b a x   b a y

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


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   0
0 0 1   0
0 1 0   1
0 1 1   1
1 0 0   1
1 0 1   1
1 1 0   1
1 1 1   1

b a x   y

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


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

b a x   b
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

b = (not a and not x) or (a and x)

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

b a x   a

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

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

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

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


0;4     - 1 0
1;5     - 1 1

0;4;1;5        - 1 - 

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

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

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


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


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


2;4;3;5     1 - -


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

0;4;1;5
0;1
2;3;4;5

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

a = b or a


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

b a x   y

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


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

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

y = (not a and not x) or (b and not a) or (b and a and not x)