Title :
Application of a Boolean Identity for Fault Trees
Author_Institution :
Electronics and Communication Engineering Department; University of Roorkee; Roorkee 247 672 INDIA.
fDate :
4/1/1980 12:00:00 AM
Abstract :
In this paper various conditions that should exist in the fault trees for the application of Boolean identity xixj + xix¿j = xi have been discussed. It has also been algebraically proved that this identity is not required if preceded by xi + xixj = xi and xixj + xixj = xixj, in the simplification of logical expressions of fault trees, or else when the fault tree has a redundant arc.
Keywords :
Circuit faults; Combinational circuits; Educational institutions; Fault diagnosis; Fault trees; Redundancy; Boolean simplification; Fault trees; Logical redundancy;
Journal_Title :
Reliability, IEEE Transactions on
DOI :
10.1109/TR.1980.5220688
