Boolean Difference Calculus and Fault Finding

In this article a method is devised for testing for a possible fault in a gate in a larger switching circuit, that does not require isolating the suspicious gate from the rest of the circuit. The techniques involve a Boolean difference calculus reminiscent of, but not identical to, ordinary difference calculus.