/media/sda-magnetic/david/Dokumente-15/fernuni-hagen/cs-i-ii/syn00001.txt

	b a x	b a y
0	0 0 0	0 1 1
1	0 0 1	0 0 1
2	0 1 0	1 1 1
3	0 1 1	0 0 1
4	1 0 0	0 1 1
5	1 0 1	0 0 0
6	1 1 0	1 1 0
7	1 1 1	0 1 1



	b a x	b
0	0 0 0	0
1	0 0 1	0
2	0 1 0	1
3	0 1 1	0
4	1 0 0	0
5	1 0 1	0
6	1 1 0	1
7	1 1 1	0

	b a x	a
0	0 0 0	1
1	0 0 1	0
2	0 1 0	1
3	0 1 1	0
4	1 0 0	1
5	1 0 1	0
6	1 1 0	1
7	1 1 1	1

	b a x	y
0	0 0 0	1
1	0 0 1	1
2	0 1 0	1
3	0 1 1	1
4	1 0 0	1
5	1 0 1	0
6	1 1 0	0
7	1 1 1	1



	b a x	b
2	0 1 0	1
6	1 1 0	1

	b a x	a
0	0 0 0	1
2	0 1 0	1
4	1 0 0	1
6	1 1 0	1
7	1 1 1	1

	b a x	y
0	0 0 0	1
1	0 0 1	1
2	0 1 0	1
3	0 1 1	1
4	1 0 0	1
7	1 1 1	1


	b a x	b
2	0 1 0	1
6	1 1 0	1
2;6     - 1 0

b := (a and not x)

	b a x	a
Gruppe 0:
0	0 0 0	1
Gruppe 1:
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
6	1 1 0	1
Gruppe 3:
7	1 1 1	1

0;1 0 - 0
0;4 - 0 0
2;6 - 1 0
4;6 1 - 0
6;7 1 1 -

0;1 0 - 0
4;6 1 - 0

0;2;4;6 - - 0

0;4 - 0 0
2;6 - 1 0

0;4;2;6 - - 0

6;7 1 1 -

- - 0
1 1 -

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


	b a x	y
Gruppe 0:
0	0 0 0	1
Gruppe 1:
1	0 0 1	1
2	0 1 0	1
4	1 0 0	1
Gruppe 2:
3	0 1 1	1
Gruppe 3:
7	1 1 1	1

0;1 0 0 -
0;2 0 - 0
0;4 - 0 0
1;3  0 - 1
2;3 0 1 -
3;7  - 1 1

0;1  0 0 -
2;3  0 1 -
0;2  0 - 0
1;3  0 - 1
0;4  - 0 0
3;7  - 1 1

0;1;2;3 0 - - 
0;4     - 0 0
3;7     - 1 1 

y := (not b) or (not a and not x) or (a and x)