Algorithms for design of an equivalent normal form

Algorithms are proposed for design of an equivalent normal form to be used in construction of tests for combinational combinational circuits. The solution is reduced circuits also as circuits to operations with binary matrices with any transformations of Boolean formulae eliminated.