Extension of Boolean differentiation to define a test for a specific logic fault in a combinational logic network

The letter demonstrates an extension of Boolean difference to obtain a test for a specific fault. The extension is compared with Roth's D calculus, and ...