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 0
4 0 1 0 0 0
5 0 1 0 1 1
6 0 1 1 0 0
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 0
13 1 1 0 1 0
14 1 1 1 0 0
15 1 1 1 1 0
5 0 1 0 1 1
9 1 0 0 1 1
Gruppe 2:
5 0 1 0 1 1
9 1 0 0 1 1
Minimale Restüberdeckung
5 9
5 *
9 *
y <= (not x3 and x2 and not x1 and x0) or (x3 and not x2 and not x1 and x0)