  We present a general method for constructing pure-product-state
representations for density operators of $N$ quantum bits. If such a
representation has nonnegative expansion coefficients, it provides an explicit
separable ensemble for the density operator. We derive the condition for
separability of a mixture of the Greenberger-Horne-Zeilinger state with the
maximally mixed state.
