Decomposition of Boolean functions based on the solution of logical equations / Dekompozitsiya bulevykh funktsiy na osnove resheniya logicheskikh uravneniy