The generalised dyadic differentiator and its application to 2-valued functions defined on an n-space

An operator is described which is directly related to the Boolean difference. It is shown that all orders of Boolean difference may be derived under this operator, in one pass, by a simple manipulation in the Hadamard-transform domain. Application of this method to functions containing intermediate states is considered. The operator is important in the fields of digital-circuit fault diagnosis and synthesis.