Negative failsafe sequential circuits

The letter presents a new method of designing failsafe sequential circuits by using appropriate negative forms for the next state functions and a proper state assignment of a k-out-of-n code. The use of negative monotone functions makes the circuit oscillate between two states which are outside the normal states of the circuit when the circuit, by any reason, assumes some state outside the normal ones.