1 X = {x0,x1}

3 Var x0 has 2 states (possible values).

4 Var x1 has 3 states.

6 VarSet {x0,x1} has 6 states (joint assignments of its variables).

8 States of VarSets correspond to states of their constituent Vars:

9 state of x0: state of x1: state of X:

10 0 0 0

11 1 0 1

12 0 1 2

13 1 1 3

14 0 2 4

15 1 2 5

17 And vice versa:

18 state of x0: state of x1: state of X:

19 0 0 0

20 1 0 1

21 0 1 2

22 1 1 3

23 0 2 4

24 1 2 5