Applications of fuzzy algebra to hazard detection in combinational switching circuits

This paper presents some theoretical considerations for the detection of hazards in combinational switching systems. The application of fuzzy models to hazard detection in binary systems is discussed, and this leads to methods of detection for multiple zero and one hazards. Finally, a method for theorem proving applicable to the detection method is presented.