Sept. 19, 2002
Workshop on Boolean Problems
Example: Ternary Relations
R1 is completely specified (deterministic)
R2 is incompletely specified
R3 is partially specified, or non-deterministic
R1 is contained in R2 
R2 is not contained in R3
0
1
2
0
0
1
2
0
0
1
0
b/a
0
0,1,2
2
0
0
1
2
0,1,2
0
1
0
b/a
0,1
0,1,2
2
0
0,1
1
1,2
0,1
0
1
0
b/a
R1
R2
R3
R
a
b
2
All relations are well-defined, i.e.
for each input minterm there exists
at least one output value