6
x 10
{ 〈 1.0 , 0.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.8 , 0.2 〉 , 〈 0.6 , 0.3 〉 , 〈 0.7 , 0.2 〉 }
a 1 ∧ a 3
7
x 2 , x 4
{ 〈 0.0 , 1.0 〉 , 〈 0.7 , 0.2 〉 , 〈 0.6 , 0.3 〉 , 〈 0.6 , 0.2 〉 , 〈 0.7 , 0.2 〉 }
a 3 ∧ a 4
8
x 2 , x 9
{ 〈 1.0 , 0.0 〉 , 〈 0.6 , 0.4 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.7 , 0.2 〉 }
a 1 ∧ a 2
9
x 2 , x 10
{ 〈 1.0 , 0.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.6 , 0.3 〉 , 〈 0.6 , 0.3 〉 , 〈 0.7 , 0.2 〉 }
a 1 ∧ ( a 3 ∨ a 4 )
10
x 4 , x 7
{ 〈 0.0 , 1.0 〉 , 〈 0.7 , 0.2 〉 , 〈 0.9 , 0.1 〉 , 〈 0.6 , 0.3 〉 , 〈 0.8 , 0.1 〉 }
a 3
11
x 4 , x 8
{ 〈 0.0 , 1.0 〉 , 〈 1.0 , 0.0 〉 , 〈 0.7 , 0.3 〉 , 〈 0.6 , 0.4 〉 , 〈 0.8 , 0.1 〉 }
a 2
12
x 5 , x 9
{ 〈 0.5 , 0.5 〉 , 〈 0.5 , 0.5 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.8 , 0.2 〉 }
a 1 ∧ a 5
13
x 1 , x 6 , x 11
{ 〈 0.0 , 1.0 〉 , 〈 0.6 , 0.3 〉 , 〈 0.1 , 0.7 〉 , 〈 0.1 , 0.7 〉 , 〈 0.8 , 0.1 〉 }
( a 2 ∨ a 5 ) ∧ a 4
14
x 2 , x 3 , x 10
{ 〈 1.0 , 0.0 〉 , 〈 0.2 , 0.8 〉 , 〈 0.5 , 0.4 〉 , 〈 0.5 , 0.4 〉 , 〈 0.7 , 0.2 〉 }
( a 3 ∨ a 4 ) ∧ a 1
15
x 2 , x 4 , x 7
{ 〈 0.0 , 1.0 〉 , 〈 0.7 , 0.2 〉 , 〈 0.6 , 0.3 〉 , 〈 0.6 , 0.3 〉 , 〈 0.7 , 0.2 〉 }
a 2 ∧ a 3 ∧ a 4
16
x 2 , x 5 , x 10
{ 〈 0.5 , 0.5 〉 , 〈 0.5 , 0.5 〉 , 〈 0.3 , 0.6 〉 , 〈 0.5 , 0.4 〉 , 〈 0.7 , 0.2 〉 }
a 1 ∧ a 2 ∧ ( a 3 ∨ a 4 )
17
x 2 , x 9 , x 10
{ 〈 1.0 , 0.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.7 , 0.2 〉 }
18
x 4 , x 7 , x 8
{ 〈 0.0 , 1.0 〉 , 〈 0.7 , 0.2 〉 , 〈 0.7 , 0.3 〉 , 〈 0.6 , 0.4 〉 , 〈 0.8 , 0.1 〉 }
a 3 ∧ ( a 2 ∨ a 5 )
19
x 4 , x 7 , x 10
{ 〈 0.0 , 1.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.8 , 0.2 〉 , 〈 0.6 , 0.3 〉 , 〈 0.7 , 0.2 〉 }
20
x 1 , x 2 , x 6 , x 11
{ 〈 0.0 , 1.0 〉 , 〈 0.6 , 0.3 〉 , 〈 0.1 , 0.7 〉 , 〈 0.1 , 0.7 〉 , 〈 0.7 , 0.2 〉 }
a 4
21
x 1 , x 4 , x 6 , x 11
22
x 1 , x 6 , x 8 , x 11
a 5 ∧ ( a 2 ∨ a 3 ∨ a 4 )
23
x 2 , x 3 , x 5 , x 10
{ 〈 0.5 , 0.5 〉 , 〈 0.2 , 0.8 〉 , 〈 0.3 , 0.6 〉 , 〈 0.5 , 0.4 〉 , 〈 0.7 , 0.2 〉 }
24
x 2 , x 3 , x 9 , x 10
{ 〈 1.0 , 0.0 〉 , 〈 0.2 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.7 , 0.2 〉 }
a 1
25
x 2 , x 4 , x 7 , x 8
{ 〈 0.0 , 1.0 〉 , 〈 0.7 , 0.2 〉 , 〈 0.6 , 0.3 〉 , 〈 0.6 , 0.4 〉 , 〈 0.7 , 0.2 〉 }
a 2 ∧ a 3
26
x 2 , x 4 , x 7 , x 10
{ 〈 0.0 , 1.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.6 , 0.3 〉 , 〈 0.6 , 0.3 〉 , 〈 0.7 , 0.2 〉 }
a 4 ∧ a 3
27
x 2 , x 5 , x 9 , x 10
{ 〈 0.5 , 0.5 〉 , 〈 0.5 , 0.5 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.7 , 0.2 〉 }
28
x 4 , x 7 , x 8 , x 10
{ 〈 0.0 , 1.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.1 , 0.7 〉 , 〈 0.1 , 0.7 〉 , 〈 0.7 , 0.2 〉 }
29
x 1 , x 2 , x 4 , x 6 , x 11
a 5
30
x 1 , x 4 , x 6 , x 7 , x 11
a 4 ∧ a 5
31
x 1 , x 4 , x 6 , x 8 , x 11
32
x 1 , x 6 , x 8 , x 9 , x 11
{ 〈 0.0 , 1.0 〉 , 〈 0.6 , 0.4 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.8 , 0.1 〉 }
33
x 2 , x 3 , x 5 , x 9 , x 10
{ 〈 0.5 , 0.5 〉 , 〈 0.2 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.1 , 0.8 〉 , 〈 0.7 , 0.2 〉 }
34
x 2 , x 4 , x 7 , x 8 , x 10
{ 〈 0.0 , 1.0 〉 , 〈 0.5 , 0.5 〉 , 〈 0.6 , 0.3 〉 , 〈 0.6 , 0.4 〉 , 〈 0.7 , 0.2 〉 }
35
x 1 , x 2 , x 4 , x 6 , x 7 , x 11