Code: Alles auswählen
0 0 0 0 0 0
1 0 0 0 1 0
2 0 0 1 0 0
3 0 0 1 1 1
4 0 1 0 0 1
5 0 1 0 1 1
6 0 1 1 0 1
7 0 1 1 1 0
8 1 0 0 0 0
9 1 0 0 1 1
10 1 0 1 0 0
11 1 0 1 1 0
12 1 1 0 0 1
13 1 1 0 1 1
14 1 1 1 0 0
15 1 1 1 1 0
a 0 0 0 0 0 0
b 1 0 0 0 1 0
c 2 0 0 1 0 0
d 3 0 0 1 1 1
e 4 0 1 0 0 1
f 5 0 1 0 1 1
g 6 0 1 1 0 1
h 7 0 1 1 1 0
i 8 1 0 0 0 0
j 9 1 0 0 1 1
k 10 1 0 1 0 0
l 11 1 0 1 1 0
m 12 1 1 0 0 1
n 13 1 1 0 1 1
o 14 1 1 1 0 0
p 15 1 1 1 1 0
d 3 0 0 1 1 1
e 4 0 1 0 0 1
f 5 0 1 0 1 1
g 6 0 1 1 0 1
j 9 1 0 0 1 1
m 12 1 1 0 0 1
n 13 1 1 0 1 1
3 0 0 1 1 1
4 0 1 0 0 1
5 0 1 0 1 1
6 0 1 1 0 1
9 1 0 0 1 1
12 1 1 0 0 1
13 1 1 0 1 1
Gruppe 1:
4 0 1 0 0 1
Gruppe 2:
3 0 0 1 1 1
5 0 1 0 1 1
6 0 1 1 0 1
9 1 0 0 1 1
12 1 1 0 0 1
Gruppe 3:
13 1 1 0 1 1
4;5 0 1 0 -
4;6 0 1 - 0
4;12 - 1 0 0
3 0 0 1 1
5;13 - 1 0 1
6 0 1 1 0
9;13 1 - 0 1
12;13 1 1 0 -
4;5 0 1 0 -
12;13 1 1 0 -
4;6 0 1 - 0
9;13 1 - 0 1
5;13 - 1 0 1
4;12 - 1 0 0
3 0 0 1 1
6 0 1 1 0
Gruppe 1:
4;5 0 1 0 -
Gruppe 2:
12;13 1 1 0 -
4;6 0 1 - 0
9;13 1 - 0 1
Gruppe 1:
4;12 - 1 0 0
Gruppe 2:
5;13 - 1 0 1
3 0 0 1 1
6 0 1 1 0
Gruppe 1:
4;5 0 1 0 -
Gruppe 2:
12;13 1 1 0 -
4;5;12;13 - 1 0 -
4;6 0 1 - 0
9;13 1 - 0 1
Gruppe 1:
4;12 - 1 0 0
Gruppe 2:
5;13 - 1 0 1
4;12;5;13 - 1 0 -
3 0 0 1 1
6 0 1 1 0
4;5;12;13 - 1 0 -
4;6 0 1 - 0
9;13 1 - 0 1
4;12;5;13 - 1 0 -
3 0 0 1 1
6 0 1 1 0
4;5;12;13 - 1 0 -
4;6 0 1 - 0
9;13 1 - 0 1
3 0 0 1 1
6 0 1 1 0
Minimale Restueberdeckung
3 4 5 6 9 12 13
4;5;12;13 * * * *
4;6 * *
9;13 * * *
3 *
6 *
3 4 5 6 9 12 13
4;5;12;13 * * * *
4;6 * *
9;13 * * *
3 *
4;5;12;13 x2 and not x1
4;6 not x3 and x2 and not x0
9;13 x3 and not x1 and x0
3 not x3 and not x2 and x1 and x0
DNF:
y <= (x3 and not x1) or (not x3 and x2 and not x0) or (x3 and not x1 and x0) or (not x3 and not x2 and x1 and x0)