  In this paper, we present a new necessary and sufficient condition for which
the supremum exists with respect to the logic order. Moreover, we give out a
new and much simpler representation of the supremum with respect to the order,
our results have nice physical meanings.
