0 0 0 0 0 1 0
1 0 0 1 1 1 1
2 0 1 0 1 0 1
3 0 1 1 0 1 0
4 1 0 0 0 1 0
5 1 0 1 1 1 1
6 1 1 0 1 0 1
7 1 1 1 0 0 1
b a x b
0 0 0 0 0
1 0 0 1 1
2 0 1 0 1
3 0 1 1 0
4 1 0 0 0
5 1 0 1 1
6 1 1 0 1
7 1 1 1 0
b a x a
0 0 0 0 1
1 0 0 1 1
2 0 1 0 0
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
6 1 1 0 0
7 1 1 1 0
b a x y
0 0 0 0 0
1 0 0 1 1
2 0 1 0 1
3 0 1 1 0
4 1 0 0 0
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
b a x b
1 0 0 1 1
2 0 1 0 1
5 1 0 1 1
6 1 1 0 1
b a x a
0 0 0 0 1
1 0 0 1 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 1
b a x y
1 0 0 1 1
2 0 1 0 1
5 1 0 1 1
6 1 1 0 1
7 1 1 1 1
b a x b
Gruppe 0:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
5 1 0 1 1
6 1 1 0 1
b a x a
Gruppe 0:
0 0 0 0 1
Gruppe 1:
4 1 0 0 1
1 0 0 1 1
Gruppe 2:
3 0 1 1 1
5 1 0 1 1
b a x y
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
5 1 0 1 1
6 1 1 0 1
Gruppe 3:
7 1 1 1 1
b a x b
Gruppe 0:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
5 1 0 1 1
6 1 1 0 1
1;5 - 0 1
2;6 - 1 0
b <= (not a and x) or (a and not x)
b a x a
Gruppe 0:
0 0 0 0 1
Gruppe 1:
4 1 0 0 1
1 0 0 1 1
Gruppe 2:
3 0 1 1 1
5 1 0 1 1
0;4 - 0 0
0;1 0 0 -
4;5 1 0 -
1;3 0 - 1
1;5 - 0 1
0;4 - 0 0
1;5 - 0 1
0;1 0 0 -
4;5 1 0 -
1;3 0 - 1
0;4;1;5 - 0 -
0;1;4;5 - 0 -
a <= (not a) or (not b and x)
b a x y
Gruppe 1:
1 0 0 1 1
2 0 1 0 1
Gruppe 2:
5 1 0 1 1
6 1 1 0 1
Gruppe 3:
7 1 1 1 1
1;5 - 0 1
2;6 1 - 0
5;7 1 - 1
6;7 1 1 -
2;6;5;7 1 - -
Minimale Restüberdeckung
1 2 5 6 7
2;6;5;7 * * * *
5;7 * *
6;7 * *
1 2 5 6 7
2;6;5;7 * * * *
6;7 * *
y <= (b) or (b and a)
Das ist seltsam, aber egal.
Stimmt auch nicht, minimale Restüberdeckung falsch gemacht, hingucken
1 2 5 6 7
1;5 * *
2;6;5;7 * * * *
6;7 * *
y <= b or (not a and x)
So ist es richtig, beim Aufschreiben der Minimalen Restüberdeckung habe ich nicht richtig geguckt, 5;7 ist bereits im Ausdruck und 1;5 übersehen. Jetzt richtig.
b <= (not a and x) or (a and not x)
a <= (not a) or (not b and x)
y <= b or (not a and x)
