Zustandstabelle
00 0 11 0
00 1 01 0
01 0 00 0
01 1 10 1
10 0 01 0
10 1 11 1
11 0 10 0
11 1 00 0
z1
00 0 1
00 1 0
01 0 0
01 1 1
10 0 0
10 1 1
11 0 1
11 1 0
Quine McCluskey
0 00 0 1
1 01 1 1
2 10 1 1
3 11 0 1
Gruppe 0
0 00 0 1
Gruppe 2
1 01 1 1
2 10 1 1
3 11 0 1
Keine Vereinfachung möglich =>
z1 = (not z1 and not z0 and not x) or (not z1 and z0 and x) or (z1 and not z0 and x) or (z1 and z0 and not x)
z0
00 0 1
00 1 1
01 0 0
01 1 0
10 0 1
10 1 1
11 0 0
11 1 0
Quine McCluskey
00 0 1
00 1 1
10 0 1
10 1 1
Gruppe 0
1 00 0 1
Gruppe 1
2 00 1 1
3 10 0 1
Gruppe 2
4 10 1 1
1;2 0 0 -
3;4 1 0 -
1;2;3;4 - 0 -
z0 = (not z0)
y
00 0 0
00 1 0
01 0 0
01 1 1
10 0 0
10 1 1
11 0 0
11 1 0
Quine McCluskey
01 1 1
10 1 1
Keine Vereinfachung möglich =>
y = (not z1 and z0 and x) or (z1 and not z0 and x)
=>
z1 = (not z1 and not z0 and not x) or (not z1 and z0 and x) or (z1 and not z0 and x) or (z1 and z0 and not x)
z0 = (not z0)
y = (not z1 and z0 and x) or (z1 and not z0 and x)
