The variable-entered Karnaugh map (VEKM) is shown to be the natural map for representing and manipulating general 'big' Boolean functions that are not restricted to the switching or two-valued case. The VEKM is utilized herein in producing a compact general solution of a system of Boolean equations. It serves as a powerful manual tool for function inversion, implementation of the solution procedure, handling don't-care conditions and minimization of the final expressions. The rules of using the VEKM are semi-algebraic and collective in nature, and hence are much easier to state, remember and implement than are the tabular and per-cell rules of classical maps. As a result, the maps used are significantly smaller than those required by classical methods. As an offshoot, the paper contributes some pictorial insight into the representation of 'big' Boolean algebras and functions. It also predicts the correct number of particular solutions of a Boolean equation, and produces an exhaustive list of particular solutions. Details of the method are carefully explained and further demonstrated via an illustrative example.

No abstract

This paper deals with the reliability of a multi-state delivery network (MSDN) with multiple suppliers, transfer stations and markets (depicted as vertices), connected by branches of multi-state capacities, delivering a certain commodity or service between their end vertices. We utilize a symbolic logic expression of the network success to satisfy the market demand within budget and production capacity limitations even when subject to deterioration. This system success is a two-valued function expressed in terms of multi-valued component successes, and it has been obtained in the literature in minimal form as the disjunction of prime implicants or minimal paths of the pertinent network. The main contribution of this paper is to provide a systematic procedure for converting this minimal expression into a probability-ready expression (PRE). We successfully extrapolate the PRE concept from the two-valued logical domain to the multi-valued logical domain. This concept is of paramount importance since it allows a direct transformation of a random logical expression, on a one-to-one one, to its statistical expectation form, simply by replacing all logic variables by their statistical expectations, and also substituting arithmetic multiplication and addition for their logical counterparts (ANDing and ORing). The statistical expectation of the expression is its probability of being equal to 1, and is simply called network reliability. The proposed method is illustrated with a detailed symbolic example of a real-case study, and it produces a more precise version of the same numerical value that was obtained earlier by an alternative means. This paper is a part of an ongoing activity to develop pedagogical material for various candidate techniques for assessing multi-state reliability.

No abstract

This paper deals with an emergent variant of the classical problem of computing the probability of the union of n events, or equivalently the expectation of the disjunction (ORing) of n indicator variables for these events, i.e., the probability of this disjunction being equal to one. The variant considered herein deals with multi-valued variables, in which the required probability stands for the reliability of a multi-state delivery network (MSDN), whose binary system success is a two-valued function expressed in terms of multi-valued component successes. The paper discusses a simple method for handling the afore-mentioned problem in terms of a standard example MSDN, whose success is known in minimal form as the disjunction of prime implicants or minimal paths of the pertinent network. This method utilizes the multi-state inclusion-exclusion (MS-IE) principle associated with a multi-state generalization of the idempotency property of the ANDing operation. The method discussed is illustrated with a detailed symbolic example of a real-case study, and it produces a more precise version of the same numerical value that was obtained earlier. The example demonstrates the notorious shortcomings and the extreme inefficiency that the MS-IE method suffers, but, on the positive side, it reveals the way to alternative methods, in which such a shortcoming is (partially) mitigated. A prominent and well known example of these methods is the construction of a multi-state probability-ready expression (MS-PRE). Another candidate method would be to apply the MS-IE principle to the union of fewer (factored or composite) paths that is converted (at minimal cost) to PRE form. A third candidate method, employed herein, is a novel method for combining the MS-PRE and MS-IE concepts together. It confines the use of MS-PRE to ‘shellable’ disjointing of ORed terms, and then applies MS-IE to the resulting partially orthogonalized disjunctive form. This new method makes the most of both MS-PRE and MS-IE, and bypasses the troubles caused by either of them. The method is illustrated successfully in terms of the same real-case problem used with the conventional MS-IE.