The B-ternary logic and its applications to the detection of hazards in combinational switching circuits
Masao Mukaidono · International Symposium on Multiple-Valued Logic · 1978
Both the steady states and some transient states of switching circuits can be described by B-ternary logic in which the truth values 0, 1 and 1/2 are used respectively to represent false, true and uncertainty. This paper showed the methods of detecting and identifying various kinds of static hazards contained in combinational switching circuits by means of the canonical forms of the B-ternary logic functions realized by the circuits. Particularly, a method was derived which could algebraically detect all logic hazards contained in the circuits. It was also pointed out that there were some dynamic hazards which were detectable by B-ternary logic.