Basic Properties and a Construction Method for Fail-Safe Logical Systems

In this paper, the authors study ``fail-safe'' properties of logical systems, finding the conditions that the basic logical functions of fail-safe logical systems should satisfy and also identifying the allowable failures for the basic logical function circuits. With these results, the authors present a systematic representation of fail-safe logical systems, and an effective method of logical design for fail-safe systems.