Ass.Prof. PhD. Svetlana N.Yanushkevich

Abstract

The paper extend the new conception of an arithmetical analogue of Boolean Difference (introduced in author's past papers) onto a wide class of operators such as Arithmetical Derivative of a Boolean function with respect to vectors of variables, Arithmetical Differential with respect to variable, Total Arithmetical Differential and others. All algorithms are represent both in symbolic and matrix form. Some properties of the introduced operators are shown to apply for analysis Boolean functions represented by its arithmetical polynomials forms, including checking linearity of the function in arithmetical domain, finding tests for switching circuits.