  This paper deals with the Boolean-based analysis of a prominent class of
non-repairable coherent multistate systems with independent nonidentical
multistate components. This class of systems is represented by a multistate
coherent truly threshold system of several states, which is not necessarily
binary-imaged. The paper represents such a system via Boolean expressions of
system success or system failure at each non-zero level, which are in the form
of minimal sop formulas, or disjoint sop formulas. These are expressions that
are directly convertible to expected values. Several map representations are
also offered, including a single multi-value Karnaugh map.
