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

000 0       001
000 1       010
001 0       011
001 1       100
010 0       101
010 1       110
011 0       000
011 1       000
100 0       000
100 1       000
101 0       000
101 1       000
110 0       000
110 1       000


0   000 0       001
1   000 1       010
2   001 0       011
3   001 1       100
4   010 0       101
5   010 1       110
6   011 0       000
7   011 1       000
8   100 0       000
9   100 1       000
10  101 0       000
11  101 1       000
12  110 0       000
13  110 1       000


0   000 0       001
1   000 1       010
2   001 0       011
3   001 1       100
4   010 0       101
5   010 1       110


0   000 0       0
1   000 1       0
2   001 0       0
3   001 1       1
4   010 0       1
5   010 1       1

0   000 0       0
1   000 1       1
2   001 0       1
3   001 1       0
4   010 0       0
5   010 1       1

0   000 0       1
1   000 1       0
2   001 0       1
3   001 1       0
4   010 0       1
5   010 1       0


3   001 1       1
4   010 0       1
5   010 1       1

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

1   000 1       1
2   001 0       1
5   010 1       1

001 0
0-0 1

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


0   000 0       1
2   001 0       1
4   010 0       1

0   000 0       1
2   001 0       1
4   010 0       1

0 0 - 0
0 - 0 0

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