id: 05978757 dt: j an: 05978757 au: Keren, O.; Levin, I.; Stankovič, R. ti: Linearization of logical functions defined by a set of orthogonal terms. I: Theoretical aspects. so: Autom. Remote Control 72, No. 3, 615-625 (2011); translation from Avtom. Telemekh. 2011, No. 3, 161-172 (2011). py: 2011 pu: MAIK Nauka/Interperiodica Publishing, Moscow; Springer, New York, NY la: EN cc: ut: linearization of logic functions; orthogonal terms; autocorrelation function; linear transformation ci: li: doi:10.1134/S0005117911030118 ab: Summary: We consider linearization of logical functions defined by a set of pairwise orthogonal terms. The linearization is carried out by computing the autocorrelation functions. We propose a method consisting of (i) calculation of the autocorrelation function in the space of orthogonal terms, (ii) generation of the corresponding matrix of the linear transformation, and (iii) the linear transformation proper of the variables in the space of orthogonal terms. Complexity of the proposed method and its effectiveness are estimated. Effectiveness is verified by a series of experiments with standard benchmarks. The differences between the proposed method and other existing methods of linearization are examined. rv: