A random variable need not be boolean. If a random variable has a domain of
size
n > 2, replace the random variable with ⌈ log
2 n⌉ new boolean random variables. The
ith new random
variable is true only if the original random value had the
ith value (in
some ordering) from the original domain. Any world in which more than one of
the new random variables are true should receive a 0 probability assignment.
This page last modified on 2006 January 24.