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

b a x   b a y
0 0 0   0 0 0
0 0 1   0 0 1
0 1 0   1 0 1
0 1 1   1 0 0
1 0 0   0 1 0
1 0 1   1 1 0
1 1 0   0 0 1
1 1 1   1 0 1


Quine McCluskey zur Minimierung

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

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

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


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

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

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

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

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

1;2     1 0 -

a = (b and not a)

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

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

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

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

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