  The lifetime of a system of connected units under some natural assumptionscan be represented as a random variable Y defined as a weighted latticepolynomial of random lifetimes of its components. As such, the concept of arandom variable Y defined by a weighted lattice polynomial of (lattice-valued)random variables is considered in general and in some special cases. Thecentral object of interest is the cumulative distribution function of Y. Inparticular, numerous results are obtained for lattice polynomials and weightedlattice polynomials in case of independent arguments and in general. For thegeneral case, the technique consists in considering the joint probabilitygenerating function of "indicator" variables. A connection is studied between Yand order statistics of the set of arguments.
The central object of interest is the cumulative distribution function of Y. In particular, numerous results are obtained for lattice polynomials and weighted lattice polynomials in case of independent arguments and in general. For the general case, the technique consists in considering the joint probability generating function of "indicator" variables.